Categorical characterization of bisimulation

Roggenbach, Markus

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 Wirtschaftsinformatik und Wirtschaftsmathematik
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!