Gurr, Doug
-
DAIMI Report Series No. 363 (1991): PB-363 A Linear Specification Language for Petri Nets - Articles
A Linear Specification Language for Petri Nets
Abstract PDF -
DAIMI Report Series No. 372 (1991): PB-372 Relations and Non-commutative Linear Logic - Articles
Relations and Non-commutative Linear Logic
Abstract PDF