On the Computation of McMillan s Prefix for Contextual Nets and Graph Grammars

Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon. On the Computation of McMillan s Prefix for Contextual Nets and Graph Grammars. In Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Volume 6372 of Lecture Notes in Computer Science, pages 91-106, Springer, 2010. [doi]

Abstract

Abstract is missing.