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.