Reference: Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. In Proceedings of UFO 2007, June 2007. To appear. Suggested BibTeX entry: @inproceedings{BCKS07,     author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},     booktitle = {Proceedings of UFO 2007},     month = {June},     note = {To appear},     title = {{McMillan's} complete prefix for contextual nets},     year = {2007} }

This work is not available online here.