Synthesising CCS Bisimulation using Graph Rewriting


Filippo Bonchi, Fabio Gadducci, and Barbara König. Synthesising CCS bisimulation using graph rewriting. Information and Computation, 207:14–40, 2009.

Suggested BibTeX entry:

    author = {Filippo Bonchi and Fabio Gadducci and Barbara K\"{o}nig},
    journal = {Information and Computation},
    pages = {14--40},
    title = {Synthesising {CCS} Bisimulation using Graph Rewriting},
    volume = {207},
    year = {2009}

This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group