The essence of bisimulation : a comparative study

Preview

PDF
1998_17.pdf - Published
Download (2MB)

URL:	https://ub-madoc.bib.uni-mannheim.de/1937
URN:	urn:nbn:de:bsz:180-madoc-19374
Document Type:	Working paper
Year of publication:	1998
The title of a journal, publication series:	Technical Reports
Volume:	98-017
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:	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.