Rangel, Guilherme; König, Barbara; Ehrig, Hartmut:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Essen: Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2008
(Technischer Bericht ; 2008-01)
Buch / Fach: Informatik
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Autor(in):
Rangel, Guilherme; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Ehrig, Hartmut
Erscheinungsort:
Essen
Verlag:
Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen
Erscheinungsjahr:
2008
In Serie:
Technischer Bericht, Band 2008-01
Umfang:
31
DuEPublico ID:
URN: