Mikkel Nygaard

	2004
4		Mikkel Nygaard, Glynn Winskel: Domain theory for concurrency. Theor. Comput. Sci. 316(1): 153-190 (2004)
	2003
3		Mikkel Nygaard, Glynn Winskel: Full Abstraction for HOPLA. CONCUR 2003: 378-392
	2002
2		Mikkel Nygaard, Glynn Winskel: HOPLA-A Higher-Order Process Language. CONCUR 2002: 434-448
1		Mikkel Nygaard, Glynn Winskel: Linearity in Process Languages. LICS 2002: 433-

Coauthor Index

1

Glynn Winskel

[1] [2] [3] [4]