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. LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), 5100:199–220, 2008.
Suggested BibTeX entry:
@article{BCKS08,
author = {Paolo Baldan and Andrea Corradini and Barbara K\"onig and Stefan Schwoon},
journal = {LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)},
pages = {199--220},
series = {LNCS},
title = {{McMillan}'s complete prefix for contextual nets},
volume = {5100},
year = {2008}
}
