Jonathan Hayman
From MaRDI portal
Person:283743
Available identifiers
zbMath Open hayman.jonathan-markMaRDI QIDQ283743
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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
This page was built for person: Jonathan Hayman