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)
Buch2008Informatik
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, BarbaraLSF; Ehrig, Hartmut
Erscheinungsort
Essen
Verlag
Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen
Erscheinungsjahr
2008
Umfang
31
DuEPublico ID:
URN:
In Serie:
Titel:
Technischer Bericht
in:
Band 2008-01