The essence of bisimulation : a comparative study


Majster-Cederbaum, Mila ; Roggenbach, Markus


[img]
Preview
PDF
1998_17.pdf - Published

Download (2MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1937
URN: urn:nbn:de:bsz:180-madoc-19374
Document Type: Working paper
Year of publication: 1998
The title of a journal, publication series: Technical Reports
Volume: 98-017
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Bisimulation
Abstract: The realm of approaches to operational descriptions and equivalences for concurrent systems in the literature leads to aseries of different attempts to give a uniform characterization of what should be considered as abisimulation, mostly in an algebraic and/or categorical framework. Meanwhile the realm of such approaches calls itselffor comparison and/or unification. We investigate how different abstract characterizations of bisimulations are related and how suitable they are to encompass the various concrete notions of bisimulation.

Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) The essence of bisimulation : a comparative study. Open Access Technical Reports Mannheim 98-017 [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



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


Actions (login required)

Show item Show item