Jonathan Hayman

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

Coauthor Index

1

Glynn Winskel

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