On two different characterizations of bisimulation


Majster-Cederbaum, Mila ; Roggenbach, Markus


[img]
Preview
PDF
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
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: 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.




+ Citation Example and Export

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterizations of bisimulation. Open Access [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