Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen


Christgau, Martin


[img]
Vorschau
PDF
1995_1.pdf - Veröffentlichte Version

Download (5MB)

URL: http://ub-madoc.bib.uni-mannheim.de/1750
URN: urn:nbn:de:bsz:180-madoc-17504
Dokumenttyp: Abschlussarbeit , Masterarbeit
Erscheinungsjahr: 1995
Sprache der Veröffentlichung: Deutsch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (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.
Zusätzliche Informationen:

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




+ Zitationsbeispiel und Export

Christgau, Martin (1995) Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen. Open Access [Abschlussarbeit]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen