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
http://www.sciencedirect.com/science/journal/08905401
Signatur der Zeitschrift: E06/64 Z 18

Dieser Eintrag ist freigegeben.