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 Sammelwerk2006Informatik
Titel:
Process Bisimulation via a Graphical Encoding
Autor(in):
Bonchi, Filippo; Gadducci, Fabio; König, BarbaraLSF
Erscheinungsjahr
2006
WWW URL