On two different characterizations of bisimulation

Vorschau

PDF
TR-96-007.pdf - Veröffentlichte Version
Download (157kB)

URL:	https://ub-madoc.bib.uni-mannheim.de/793
URN:	urn:nbn:de:bsz:180-madoc-7937
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	1996
Titel einer Zeitschrift oder einer Reihe:	None
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC-Schriftenreihe:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet:	004 Informatik
Normierte Schlagwörter (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.
Zusätzliche Informationen:

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

BASE: Majster-Cederbaum, Mila ; Roggenbach, Markus

Google Scholar: Majster-Cederbaum, Mila ; Roggenbach, Markus

Downloads im letzten Jahr

Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail

Eintrag anzeigen