par Devillers, Raymond 
Référence Lecture Notes in Computer Science, Advances in Petri Nets 1992, The DEMON Project, Springer-Verlag, London, Vol. 609, page (108-151)
Publication Publié, 1992
Référence Lecture Notes in Computer Science, Advances in Petri Nets 1992, The DEMON Project, Springer-Verlag, London, Vol. 609, page (108-151)
Publication Publié, 1992
Partie d'ouvrage collectif
| Titre: |
|
| Auteur: | Devillers, Raymond |
| Informations sur la publication: | Lecture Notes in Computer Science, Advances in Petri Nets 1992, The DEMON Project, Springer-Verlag, London, Vol. 609, page (108-151) |
| Statut de publication: | Publié, 1992 |
| Sujet CREF: | Informatique mathématique |
| Informatique générale | |
| Mots-clés: | Bisimulation, Concurrency, Action refinement, Petri nets |
| Langue: | Anglais |
| Identificateurs: | urn:isbn:3-540-55610-9 |
| info:doi/10.1007/3-540-55610-9_170 |
