 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
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.
Retracing Some Paths in Process Algebra (1996)
(CiteSeer) Discursive article by Samson Abramksy reexamining some early ideas in the theory of processes in the light of later logical parallels.
|
|
||
 |
|||