Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen

Christgau, Martin

Preview

PDF
1995_1.pdf - Published
Download (5MB)

URL:	http://ub-madoc.bib.uni-mannheim.de/1750
URN:	urn:nbn:de:bsz:180-madoc-17504
Document Type:	Final Thesis , Master's
Year of publication:	1995
The title of a journal, publication series:	None
Publication language:	German
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):	Transitionssystem , Bisimulation , Äquivalenzrelation
Abstract:	In dieser Arbeit werden in zwei Teilen die wichtigsten Äquivalenzrelationen für Transitionssysteme und Ereignisstrukturen aus der Literatur zusammengestellt, in eine einheitliche Notation gebracht und wechselseitig miteinander verglichen. Weiterhin werden einige zusätzliche Varianten definiert.
Additional information:

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

BASE: Christgau, Martin

Google Scholar: Christgau, Martin

Downloads per month over past year

You have found an error? Please let us know about your desired correction here: E-Mail

Show item