Deriving bisimulation congruences in the presence of negative application conditions / Guilherme Rangel ; Barbara König ; Hartmut Ehrig. Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008
Inhalt