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. In Proc. of FOSSACS '08, pages 413–427. Springer, 2008. LNCS 4962.
Suggested BibTeX entry:
@inproceedings{RKE08,
author = {Guilherme Rangel and Barbara K{\"o}nig and Hartmut Ehrig},
booktitle = {Proc. of FOSSACS '08},
note = {{LNCS} 4962},
pages = {413--427},
publisher = {Springer},
title = {Deriving Bisimulation Congruences in the Presence of Negative Application Conditions},
year = {2008}
}
