The essence of bisimulation : a comparative study


Majster-Cederbaum, Mila ; Roggenbach, Markus


[img]
Vorschau
PDF
1998_17.pdf - Veröffentlichte Version

Download (2MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1937
URN: urn:nbn:de:bsz:180-madoc-19374
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1998
Titel einer Zeitschrift oder einer Reihe: Technical reports
Band: 98-017
Ort der Veröffentlichung: Mannheim
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: 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.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila und Roggenbach, Markus (1998) The essence of bisimulation : a comparative study. Mannheim [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