No. 301 (1990): PB-301 Petri Nets as Models of Linear Logic

Published: 1990-02-01

Articles