3 links
FMPPTA 2000
loria.fr
Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS 2000. Cancun, Mexico.
Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS 2000. Cancun, Mexico.