Jonathan Hayman
From MaRDI portal
Person:283743
Available identifiers
zbMath Open hayman.jonathan-markMaRDI QIDQ283743
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Non-angelic concurrent game semantics | 2018-07-17 | Paper |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models | 2017-01-26 | Paper |
Interaction and Causality in Digital Signature Exchange Protocols | 2016-06-09 | Paper |
Strategies as concurrent processes | 2016-05-13 | Paper |
On Pushouts of Partial Maps | 2014-09-26 | Paper |
Containment in Rule-Based Models | 2014-03-21 | Paper |
Pattern Graphs and Rule-Based Models: The Semantics of Kappa | 2013-03-18 | Paper |
The unfolding of general Petri nets | 2012-10-19 | Paper |
Granularity and Concurrent Separation Logic | 2011-09-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5190781 | 2009-07-27 | Paper |
Independence and concurrent separation logic | 2008-08-07 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Jonathan Hayman