Process Bisimulation via a Graphical Encoding
Reference
Filippo Bonchi, Fabio Gadducci, and Barbara König. Process bisimulation via a graphical encoding. Technical Report TR-06-07, Department of Computer Science, University of Pisa, July 2006.
Suggested BibTeX entry:
@techreport{BGK06a,
author = {Filippo Bonchi and Fabio Gadducci and Barbara K\"{o}nig},
institution = {Department of Computer Science, University of Pisa},
month = {July},
number = {TR-06-07},
title = {Process Bisimulation via a Graphical Encoding},
year = {2006}
}
