Towards a unified view of bisimulation: a comparative study


Majster-Cederbaum, Mila ; Roggenbach, Markus



DOI: https://doi.org/10.1016/S0304-3975(99)00303-5
URL: https://www.sciencedirect.com/science/article/pii/...
Document Type: Article
Year of publication: 2000
The title of a journal, publication series: Theoretical Computer Science
Volume: 238
Issue number: 1/2
Page range: 81-130
Place of publication: Amsterdam [u.a.]
Publishing house: Elsevier
ISSN: 0304-3975
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum Em)
Subject: 004 Computer science, internet
Abstract: The realm of approaches to operational descriptions and equivalences for concurrent systems in the literature lead to a series of different attempts to give a uniform characterization of what should be considered a bisimulation, mostly in an algebraic and/or categorical framework. Meanwhile the realm of such approaches calls itself for comparison and/or unification. We investigate how different abstract characterizations of bisimulations are related. In particular, we consider the coalgebraic approach of Aczel and Mendler, the observation structures (Kripke structures) of Degano, De Nicola and Montanari, the algebraic approach of Malacaria, the domain theoretic view of Abramsky and the categorical setting of Joyal, Nielsen and Winskel. The framework of Aczel and Mendler turns out to be the most general one in the sense that the other approaches can be translated into it. These translations, where the relation between the categorical setting of Joyal, Nielsen and Winskel with the coalgebraic approach is the most complicated one, enhance the understanding of the different approaches and contribute to a unified view of bisimulation.

Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadata export


Citation


+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item