Jonathan Hayman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

5 Jonathan Hayman: Granularity and Concurrent Separation Logic. CONCUR 2011: 219-234

2008

4 Jonathan Hayman, Glynn Winskel: The unfolding of general Petri nets. FSTTCS 2008: 223-234

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

	2011
5		Jonathan Hayman: Granularity and Concurrent Separation Logic. CONCUR 2011: 219-234
	2008
4		Jonathan Hayman, Glynn Winskel: The unfolding of general Petri nets. FSTTCS 2008: 223-234
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

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page