On the computation of McMillan's Complete Prefix for Contextual Nets ...
Reference
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, and Stefan Schwoon. On the computation of McMillan's complete prefix for contextual nets and graph grammars. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 91–106. Springer, 2010. LNCS 6372.
Suggested BibTeX entry:
@inproceedings{BBCKS10,
author = {Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara K{\"o}nig and Stefan Schwoon},
booktitle = {Proc. of ICGT '10 (International Conference on Graph Transformation)},
note = {{LNCS} 6372},
pages = {91--106},
publisher = {Springer},
title = {On the computation of {McMillan}'s Complete Prefix for Contextual Nets and Graph Grammars},
year = {2010}
}
