On two different characterizations of bisimulation


Majster-Cederbaum, Mila ; Roggenbach, Markus


[img]
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
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
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.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila und Roggenbach, Markus (1996) On two different characterizations of bisimulation. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen