Bonchi, Filippo; Gadducci, Fabio; König, Barbara:
Synthesising CCS Bisimulation using Graph Rewriting
2009
In: Information and Computation, Jg. 207 (2009), Heft 1, S. 14 - 40
Artikel/Aufsatz in Zeitschrift2009Informatik
Titel:
Synthesising CCS Bisimulation using Graph Rewriting
Autor(in):
Bonchi, Filippo; Gadducci, Fabio; König, BarbaraLSF
Erscheinungsjahr
2009
WWW URL
Erschienen in:
Titel:
Information and Computation
in:
Jg. 207 (2009), Heft 1, S. 14 - 40
ISSN:
Signatur der UB