|
Towards a unified view of bisimulation: a comparative study
Roggenbach, Markus
;
Majster-Cederbaum, Mila
|
DOI:
|
https://doi.org/10.1016/S0304-3975(99)00303-5
|
|
URL:
|
https://www.sciencedirect.com/science/article/pii/...
|
|
Dokumenttyp:
|
Zeitschriftenartikel
|
|
Erscheinungsjahr:
|
2000
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Theoretical Computer Science : the Journal of the EATCS
|
|
Band/Volume:
|
238
|
|
Heft/Issue:
|
1/2
|
|
Seitenbereich:
|
81-130
|
|
Ort der Veröffentlichung:
|
Amsterdam
|
|
Verlag:
|
Elsevier
|
|
ISSN:
|
0304-3975
|
|
Verwandte URLs:
|
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
|
|
Fachgebiet:
|
004 Informatik
|
|
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. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
