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