Next:
Algèbre de processus concurrents
Up:
No Title
Previous:
References
Réseaux et systèmes répartis
Algèbre de processus concurrents communiquants
Vérification de systèmes parallèles et logique temporelle
Pierre-Yves SCHOBBENS
Wed Jan 28 17:51:52 WET 1998
