Process Bisimulation via a Graphical Encoding


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:

    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}

PDF (248 kB)Tech report version
© University of Duisburg-Essen, Theoretical Computer Science group