Bonchi, Filippo; Gadducci, Fabio; König, Barbara:

Synthesising CCS Bisimulation using Graph Rewriting

In: Information and Computation, Jg. 207 (2009) ; Nr. 1, S. 14-40
ISSN: 0890-5401
Zeitschriftenaufsatz / Fach: Informatik

Dieser Eintrag ist freigegeben.