The essence of bisimulation : a comparative study

Majster-Cederbaum, Mila ; Roggenbach, Markus

1998_17.pdf - Published

Download (2MB)

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 Wirtschaftsinformatik und Wirtschaftsmathematik
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.

Metadata export


+ 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