6thInt'l Workshop on Formal Methods for Parallel Programming: Theory andApplications(FMPPTA'2001)