Completeness Results for Linear Logic on Petri Nets

• Authors:

• Uffe Engberg;Glynn Winskel

• Affiliations:

• -;-

• Venue:
• MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
• Year:
• 1993