Process Bisimulation via a Graphical Encoding
Reference
Filippo Bonchi, Fabio Gadducci, and Barbara König. Process bisimulation via a graphical encoding. In Proc. of ICGT '06 (International Conference on Graph Transformation), pages 168–183. Springer, 2006. LNCS 4178.
Suggested BibTeX entry:
@inproceedings{BGK06,
author = {Filippo Bonchi and Fabio Gadducci and Barbara K\"{o}nig},
booktitle = {Proc. of ICGT '06 (International Conference on Graph Transformation)},
note = {LNCS 4178},
pages = {168--183},
publisher = {Springer},
title = {Process Bisimulation via a Graphical Encoding},
year = {2006}
}
