The Complete Axiomatization of Cs-Congruence
1994 (English)In: Proceedings of STACS 94 / [ed] Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, Berlin: Springer , 1994, 557-568 p.Conference paper (Refereed)
The coupled simulation equivalence is slightly larger than observation equivalence. Where observation equivalence is based on weak bisimulations, coupled simulation equivalence is based on pairs of simulations which coincide at stable states. We establish the corresponding congruence and provide a complete axiomatization by adding a new -law, .(. P + Q) = . P + Q, to the axiomatization of observation congruence. We further indicate how the definition of the equivalence can be extended to divergent transition systems.
Place, publisher, year, edition, pages
Berlin: Springer , 1994. 557-568 p.
, Lecture notes in computer science, ISSN 0302-9743 ; 775
IdentifiersURN: urn:nbn:se:uu:diva-20215DOI: 10.1007/3-540-57785-8_171ISBN: 3540577858OAI: oai:DiVA.org:uu-20215DiVA: diva2:47988
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24 - 26, 1994