Petri nets as models of linear logic

• Authors:

• U. Engberg;G. Winskel

• Affiliations:

• -;-

• Venue:
• CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
• Year:
• 1990