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 Zeitschrift / Fach: Informatik
Titel:
Synthesising CCS Bisimulation using Graph Rewriting
Autor(in):
Bonchi, Filippo; Gadducci, Fabio; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2009
Erschienen in:
Information and Computation, Jg. 207 (2009), Heft 1, S. 14 - 40
ISSN
Signatur der UB
WWW URL