Jonathan Hayman

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Pursuit Evasion

Fully Connected

Statistical Models

Concurrent Processes

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

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