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}
}



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