Process Bisimulation via a Graphical Encoding


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:

    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}

PDF (393 kB)See ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group