Completeness Results for Linear Logic on Petri Nets (1993)



All Links

Share this:

Details of Completeness Results for Linear Logic on Petri Nets (1993)

About Completeness Results for Linear Logic on Petri Nets (1993)
Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.