New Additions

on 30/04/2014

The document is publicly available
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo ; Ehrig, Hartmut ; König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006
The document is publicly available
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme ; König, Barbara ; Ehrig, Hartmut
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008