HOPLA-A Higher-Order Process Language. - Mikkel Nygaard; Glynn Winskel (CONCUR, 2002)

Linearity in Process Languages. - Mikkel Nygaard; Glynn Winskel (LICS, 2002)

Full Abstraction for HOPLA. - Mikkel Nygaard; Glynn Winskel (CONCUR, 2003)

Domain theory for concurrency. - Mikkel Nygaard; Glynn Winskel (Theor. Comput. Sci., 2004)