For the most recent entries see the
Petri Nets Newsletter.
Petri Nets as Models of Linear Logic.
Engberg, Uffe;
Winskel, Glynn
In:
Lecture Notes in Computer Science, Vol. 431; CAAP'90. Proceedings of the 15th Colloquium on Trees in Algebra and Programming, 1990, Copenhagen, Denmark, pages 147-161.
Berlin, Germany: Springer-Verlag,
1990.
Keywords:
net model (of) linear logic.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography