@inproceedings{7636f660958711dd868b000ea68e967b,
title = "Completeness Results for Linear Logic on Petri Nets",
author = "Engberg, {Uffe Henrik} and Glynn Winskel",
year = "1993",
language = "English",
isbn = "3-540-57182-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer LNCS",
pages = "442--452",
editor = "Borzyszkowski, {Andrzej M.} and Stefan Sokolowski",
booktitle = "MFCS '93",
note = "Mathematical Foundations of Computer Science ; Conference date: 30-08-1993 Through 03-09-1993",
}