Completeness Results for Linear Logic on Petri Nets.

Uffe Engberg, Glynn Winskel

Browse the full MFCS paper archive.