| |
| * | 2008 | |
|---|---|---|
| 4 | EE | Jonathan Hayman, Glynn Winskel: The unfolding of general Petri nets. FSTTCS 2008 |
| 3 | EE | Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic CoRR abs/0802.0820: (2008) |
| 2 | EE | Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic. Logical Methods in Computer Science 4(1): (2008) |
| 2006 | ||
| 1 | EE | Jonathan Hayman, Glynn Winskel: Independence and Concurrent Separation Logic. LICS 2006: 147-156 |
| 1 | Glynn Winskel | [1] [2] [3] [4] |