eprintid: 376
rev_number: 11
eprint_status: archive
userid: 32
dir: disk0/00/00/03/76
datestamp: 2011-06-10 12:33:03
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-10 12:33:03
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Montanari, Ugo
creators_name: Vaandrager, Frits W.
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Back and Forth Bisimulations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: This paper is concerned with bisimulation relations which do not only require related agents to simulate each others 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, eegr 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.
date: 1990
date_type: published
series: Lecture Notes in Computer Science
volume: 458
publisher: Springer
pagerange: 152-165
id_number: 10.1007/BFb0039058
refereed: TRUE
isbn: 3-540-53048-7
book_title: CONCUR '90 Theories of Concurrency: Unification and Extension
editors_name: C. M. Baeten, Jos
editors_name: Willem Klop, Jan
official_url: http://dx.doi.org/10.1007/BFb0039058
funders: First and second authors where supported by ESPRIT project 3011 (CEDISYS).
funders: The research of the third author was supported by RACE project no. 1046, Specification and Programming Environment for Communication Software (SPECS) and by ESPRIT project no. 3006 (CONCUR).
citation:   De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W.  Back and Forth Bisimulations.   In:  CONCUR '90 Theories of Concurrency: Unification and Extension.   Lecture Notes in Computer Science, 458 .  Springer, pp. 152-165.  ISBN 3-540-53048-7      (1990)