LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
The VEHICULAIRE project aims at the design of BSP algorithms and their implementation using the functional parallel language BSML for efficient model checking. The models are expressed using a specific class of coloured Petri-nets: M-nets.
Groupement de Recherche Architecture, Systèmes, Réseaux (ASR), pôle Grille, Système et Parallélisme (GSP)
Radia BENHEDDI
Duy Tung NGUYEN
http://www.univ-paris12.fr/lacl/gava/vehiculaire/vehiculaire.html
University of Orléans | INSA Centre Val de Loire