Brown, Carolyn
-
DAIMI Report Series Nr. 363 (1991): PB-363 A Linear Specification Language for Petri Nets - Articles
A Linear Specification Language for Petri Nets
Resumé PDF (English) -
DAIMI Report Series Nr. 372 (1991): PB-372 Relations and Non-commutative Linear Logic - Articles
Relations and Non-commutative Linear Logic
Resumé PDF (English)