Process Bisimulation ::::Via:::: a Graphical Encoding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Filippo Bonchi, Fabio Gadducci, Barbara König. Process Bisimulation ::::Via:::: a Graphical Encoding. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Volume 4178 of Lecture Notes in Computer Science, pages 168-183, Springer, 2006. [doi]

This author has not been identified. Look up 'Filippo Bonchi' in GoogleThis author has not been identified. Look up 'Fabio Gadducci' in GoogleThis author has not been identified. Look up 'Barbara König' in Google

runs on WebDSL