Jonathan Hayman

According to our database, Jonathan Hayman authored at least 12 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Non-angelic Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2014

Strategies as Concurrent Processes.

Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Interaction and Causality in Digital Signature Exchange Protocols.

Jonathan Hayman

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

On Pushouts of Partial Maps.

Jonathan Hayman, Tobias Heindel

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Pattern Graphs and Rule-Based Models: The Semantics of Kappa.

Jonathan Hayman, Tobias Heindel

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman

Proceedings of the Computational Methods in Systems Biology, 2013

2012

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

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Containment in Rule-Based Models.

Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

Granularity and Concurrent Separation Logic.

Jonathan Hayman

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Petri net semantics.

Jonathan Mark Hayman

PhD thesis, 2010

2008

Independence and Concurrent Separation Logic.

Jonathan Hayman, Glynn Winskel

Log. Methods Comput. Sci., 2008

The unfolding of general Petri nets.

Jonathan Hayman, Glynn Winskel

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008