Petri Nets as Models of Linear Logic (1990)

by Uffe Engberg , Glynn Winskel , Ny Munkegade
Venue:Proceedings of Colloquium on Trees in Algebra and Programming
Citations:33 - 2 self