Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jonathan
Last name:	Hayman
DBLP:	20/3704
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Jonathan Hayman, Glynn Winskel. Independence and Concurrent Separation Logic	CoRR 2008, Volume 0	(0)	2008
	Jonathan Hayman, Glynn Winskel. Independence and Concurrent Separation Logic.	Logical Methods in Computer Science 2008, Volume 4	(0)	2008
	Jonathan Hayman, Glynn Winskel. The unfolding of general Petri nets.	IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India 2008	(0)	2008
	Jonathan Hayman, Glynn Winskel. Independence and Concurrent Separation Logic.	21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006	(0)	2006

Your query returned 4 matches in the database.