Jonathan Hayman

13 papers A* 1B 5Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2018 B conf
Non-angelic Concurrent Game Semantics.
FoSSaCS
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
2014 — conf
Interaction and Causality in Digital Signature Exchange Protocols.
TGC
Jonathan Hayman
2014 B conf
On Pushouts of Partial Maps.
ICGT
Jonathan Hayman, Tobias Heindel
2014 B conf
Strategies as Concurrent Processes.
MFPS
Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
2013 — conf
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions.
CMSB
Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman
2013 B conf
Pattern Graphs and Rule-Based Models: The Semantics of Kappa.
FoSSaCS
Jonathan Hayman, Tobias Heindel
2012 — conf
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.
FSTTCS
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
2011 — conf
Containment in Rule-Based Models.
SASB
Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel
2011 B conf
Granularity and Concurrent Separation Logic.
CONCUR
Jonathan Hayman
2008 J jnl
Independence and Concurrent Separation Logic
CoRR
Jonathan Hayman, Glynn Winskel
2008 J jnl
Independence and Concurrent Separation Logic.
Log. Methods Comput. Sci.
Jonathan Hayman, Glynn Winskel
2008 — conf
The unfolding of general Petri nets.
FSTTCS
Jonathan Hayman, Glynn Winskel
2006 A* conf
Independence and Concurrent Separation Logic.
LICS
Jonathan Hayman, Glynn Winskel