Bonchi, Filippo; Gadducci, Fabio; König, Barbara:
Process Bisimulation via a Graphical Encoding
In: Graph Transformations : Proceedings of the Third International Conference on Graph Transformation, ICGT 2006. - (Lecture Notes in Computer Science ; 4178) - Berlin [u.a.]: Springer, 2006, S. 168 - 183
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Process Bisimulation via a Graphical Encoding
Autor(in):
Bonchi, Filippo; Gadducci, Fabio; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2006
Erschienen in:
Graph Transformations : Proceedings of the Third International Conference on Graph Transformation, ICGT 2006. - (Lecture Notes in Computer Science ; 4178) - Berlin [u.a.]: Springer, 2006, S. 168 - 183
ISBN:
Link URL: