Formal Methods for Parallel Programming: Theory and Applications (FMPPTA)

Michel Charpentier <>
Last modified: Tue Apr 19 13:20:02 EDT 2005