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