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