On two different characterizations of bisimulation

Majster-Cederbaum, Mila ; Roggenbach, Markus

TR-96-007.pdf - Published

Download (157kB)

URL: https://ub-madoc.bib.uni-mannheim.de/793
URN: urn:nbn:de:bsz:180-madoc-7937
Document Type: Working paper
Year of publication: 1996
The title of a journal, publication series: None
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: Aczel89 and Joyal94 give distinct characterizations of bisimulation on labelled transition systems in terms of category theory. This paper discusses the differences between their formalisms and shows how to translate these approaches into one another.
Additional information:

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