Nygaard, Mikkel
-
BRICS Report Series No. 48 (2002): RS-48 Linearity in Process Languages - Articles
Linearity in Process Languages
Abstract PDF -
BRICS Report Series No. 49 (2002): RS-49 HOPLA--A Higher-Order Process Language - Articles
HOPLA--A Higher-Order Process Language
Abstract PDF -
BRICS Report Series No. 42 (2003): RS-42 Full Abstraction for HOPLA - Articles
Full Abstraction for HOPLA
Abstract PDF -
BRICS Report Series No. 43 (2003): RS-43 Domain Theory for Concurrency - Articles
Domain Theory for Concurrency
Abstract PDF