Categorical characterization of bisimulation


Roggenbach, Markus


[img]
Vorschau
PDF
1997_01_bearb.pdf - Veröffentlichte Version

Download (2MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1741
URN: urn:nbn:de:bsz:180-madoc-17417
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1997
Titel einer Zeitschrift oder einer Reihe: Technical Reports
Band/Volume: 97-001
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: [AM89] and [JNW94] present abstract concepts of bisimulation in terms of category theory. This paper deals with the question how these approaches are related. Futheron it shows how different types of bisimulations on prime event structures can be modelled in terms of the abstract concepts.
Zusätzliche Informationen: Seite 2 fehlt bereits im Original-Dokument!

Dieser Eintrag ist Teil der Universitätsbibliographie.

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




+ Zitationsbeispiel und Export

Roggenbach, Markus (1997) Categorical characterization of bisimulation. Open Access 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