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 Trustworthy Global Computing | 2016-06-09 | Paper |
| Strategies as concurrent processes | 2016-05-13 | Paper |
| On pushouts of partial maps Graph Transformation | 2014-09-26 | Paper |
| Containment in Rule-Based Models Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
| Pattern graphs and rule-based models: the semantics of Kappa Lecture Notes in Computer Science | 2013-03-18 | Paper |
| The unfolding of general Petri nets | 2012-10-19 | Paper |
| Granularity and concurrent separation logic CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| Symmetry in Petri nets | 2009-07-27 | Paper |
| Independence and concurrent separation logic Logical Methods in Computer Science | 2008-08-07 | Paper |
Research outcomes over time
This page was built for person: Jonathan Hayman
