Categorical characterization of bisimulation


Roggenbach, Markus


[img]
Preview
PDF
1997_01_bearb.pdf - Published

Download (2MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1741
URN: urn:nbn:de:bsz:180-madoc-17417
Document Type: Working paper
Year of publication: 1997
The title of a journal, publication series: Technical Reports
Volume: 97-001
Place of publication: Mannheim
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: [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.
Additional information: Seite 2 fehlt bereits im Original-Dokument!

Dieser Eintrag ist Teil der Universitätsbibliographie.

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




+ Citation Example and Export

Roggenbach, Markus (1997) Categorical characterization of bisimulation. Open Access Technical Reports Mannheim 97-001 [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