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), 31 S.
Buch / Monographie / Fach: Informatik
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik