Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - McMillan's complete prefix for contextual nets

Reference:

Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. In Eric Fabre and Victor Khomenko, editors, Proceedings of UFO 2007, pages 32–49, Siedlce, Poland, June 2007.

Suggested BibTeX entry:

@inproceedings{BCKS07,
    address = {Siedlce, Poland},
    author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},
    booktitle = {Proceedings of UFO 2007},
    editor = {Eric Fabre and Victor Khomenko},
    month = {June},
    pages = {32--49},
    title = {{McMillan's} complete prefix for contextual nets},
    year = {2007}
}

GZipped PostScript (114 kB)
Journal version