Synthesising CCS Bisimulation using Graph Rewriting

Reference

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

Suggested BibTeX entry:

@article{BGK,
    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