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