Deriving Bisimulation Congruences in the Presence of Negative ...
Reference
Guilherme Rangel, Barbara König, and Hartmut Ehrig. Deriving bisimulation congruences in the presence of negative application conditions. Technical Report 2008-1, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, February 2008.
Suggested BibTeX entry:
@techreport{RKE08a,
author = {Guilherme Rangel and Barbara K{\"o}nig and Hartmut Ehrig},
institution = {Abteilung f{\"ur} Informatik und Angewandte Kognitionswissenschaft, Universit{\"a}t Duisburg-Essen},
month = {February},
number = {2008-1},
title = {Deriving Bisimulation Congruences in the Presence of Negative Application Conditions},
year = {2008}
}
