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 Proc. of UFO '07 (Workshop on unfolding and partial order techniques), 2007.
Suggested BibTeX entry:
@inproceedings{BCKS07,
author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},
booktitle = {Proc. of UFO '07 (Workshop on unfolding and partial order techniques)},
title = {{McMillan}'s complete prefix for contextual nets},
year = {2007}
}
