Abstract: "This paper is concerned with bisimulation relations which do not only require related agents to simulate each others [sic] behavior in the direction of the arrows, but also to simulate each other when going back in history. First it is demonstrated that the back and forth variant of...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	De Nicola, Rocco (VerfasserIn), Montanari, Ugo 1943- (VerfasserIn), Vaandrager, Frits W. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1990
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,21
Schlagworte:	Semantics Set theory
Online-Zugang:	Volltext
Zusammenfassung:	Abstract: "This paper is concerned with bisimulation relations which do not only require related agents to simulate each others [sic] behavior in the direction of the arrows, but also to simulate each other when going back in history. First it is demonstrated that the back and forth variant of strong bisimulation leads to the same equivalence as the ordinary notion of strong bisimulation. Then it is shown that the back and forth variant of Milner's observation equivalence is different from (and finer than) observation equivalence. In fact we prove that it coincides with the branching bisimulation equivalence of Van Glabbeek & Weijland Also the back and forth variants of branching, [eta] and delay bisimulation lead to branching bisimulation equivalence. The notion of back and forth bisimulation moreover leads to characterizations of branching bisimulation in terms of abstraction homomorphisms and in terms of Hennessy-Milner logic with backward modalities. In our view these results support the claim that branching bisimulation is a natural and important notion.
Beschreibung:	14 S.