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
ISBN: 3-540-38870-2
Buchaufsatz / Kapitel / Fach: Informatik