The unfolding of general Petri nets. - Jonathan Hayman; Glynn Winskel (FSTTCS, 2008)

Independence and Concurrent Separation Logic. - Jonathan Hayman; Glynn Winskel (Log. Methods Comput. Sci., 2008)

Petri net semantics. - Jonathan Mark Hayman (2010)

Granularity and Concurrent Separation Logic. - Jonathan Hayman (CONCUR, 2011)

Containment in Rule-Based Models. - Christopher D. Thompson-Walsh; Jonathan Hayman; Glynn Winskel (SASB, 2011)

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. - Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jonathan Hayman; Jean Krivine; Christopher D. Thompson-Walsh; Glynn Winskel (FSTTCS, 2012)

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. - Ferdinanda Camporesi; Jérôme Feret; Jonathan Hayman (CMSB, 2013)

Pattern Graphs and Rule-Based Models: The Semantics of Kappa. - Jonathan Hayman; Tobias Heindel (FoSSaCS, 2013)

On Pushouts of Partial Maps. - Jonathan Hayman; Tobias Heindel (ICGT, 2014)

Interaction and Causality in Digital Signature Exchange Protocols. - Jonathan Hayman (TGC, 2014)

Strategies as Concurrent Processes. - Simon Castellan; Jonathan Hayman; Marc Lasson; Glynn Winskel (MFPS, 2014)

Non-angelic Concurrent Game Semantics. - Simon Castellan; Pierre Clairambault; Jonathan Hayman; Glynn Winskel (FoSSaCS, 2018)