Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen


Christgau, Martin


[img]
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
Publication language: German
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): 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.




+ Citation Example and Export

Christgau, Martin (1995) Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen. Open Access [Final Thesis]
[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