Jonathan Hayman

List of publications from the DBLP Bibliography Server - FAQ

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

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

Coauthor Index