• Citer

Maximality Preserving Bisimulation: Simplifications and Extensions

par Devillers, Raymond
Editeur scientifique Best, Eike
Référence (May 1991: Goslar, Germany), 3rd Workshop on Concurrency and Compositionality, GMD-Studien Nr. 191, Hildesheimer Informatik-Berichte, Vol. 6, page (80-82)
Publication Publié, 1991-05

Publication dans des actes

• Détails
• Contenu

Titre:	Maximality Preserving Bisimulation: Simplifications and Extensions
Auteur:	Devillers, Raymond
Editeur scientifique:	Best, Eike
Informations sur la publication:	(May 1991: Goslar, Germany), 3rd Workshop on Concurrency and Compositionality, GMD-Studien Nr. 191, Hildesheimer Informatik-Berichte, Vol. 6, page (80-82)
Statut de publication:	Publié, 1991-05
Sujet CREF:	Informatique mathématique
Mots-clés:	maximality preserving bisimulation (between) place/transition net(s); memoryless refinement; selfconcurrent systems; interleaving semantics
Langue:	Anglais