| Publication | Date of Publication | Type |
|---|
| An axiomatic theory for reversible computation | 2024-04-26 | Paper |
| Towards a taxonomy for reversible computation approaches | 2024-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384917 | 2021-12-17 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus | 2021-11-24 | Paper |
| Forward-Reverse Observational Equivalences in CCSK | 2021-11-03 | Paper |
| Event structure semantics of (controlled) reversible CCS | 2021-08-03 | Paper |
| Reversible occurrence nets and causal reversible prime event structures | 2021-07-05 | Paper |
| Towards a formal account for software transactional memory | 2021-07-05 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus | 2021-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965863 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150131 | 2021-02-09 | Paper |
| A parametric framework for reversible \(\pi\)-calculi | 2020-12-15 | Paper |
| An axiomatic approach to reversible computation | 2020-09-23 | Paper |
| Towards a categorical representation of reversible event structures | 2019-06-20 | Paper |
| Event structure semantics of (controlled) reversible CCS | 2018-10-17 | Paper |
| Discrete-time heavy-tailed chains, and their properties in modeling network traffic | 2018-06-12 | Paper |
| Real-Time Methods in Reversible Computation | 2016-09-30 | Paper |
| Event Identifier Logic | 2016-07-26 | Paper |
| A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway | 2015-11-30 | Paper |
| Reversibility and asymmetric conflict in event structures | 2015-11-10 | Paper |
| Operational Semantics of Reversibility in Process Algebra | 2015-07-10 | Paper |
| Concurrency and Reversibility | 2014-09-02 | Paper |
| Reversibility and models for concurrency | 2014-01-10 | Paper |
| Modelling of Bonding with Processes and Events | 2013-12-17 | Paper |
| Matching systems for concurrent calculi | 2013-12-06 | Paper |
| Leader election in rings of ambient processes | 2013-09-25 | Paper |
| On the computational strength of pure ambient calculi | 2013-09-09 | Paper |
| Reversibility and Asymmetric Conflict in Event Structures | 2013-08-12 | Paper |
| A hierarchy of reverse bisimulations on stable configuration structures | 2012-05-11 | Paper |
| Symmetric electoral systems for ambient calculi | 2008-03-11 | Paper |
| CCS with priority guards | 2008-03-05 | Paper |
| Tutorial on separation results in process calculi via leader election problems | 2007-12-18 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Separation Results Via Leader Election Problems | 2007-09-11 | Paper |
| Reversing algebraic process calculi | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Leader election in rings of ambient processes | 2006-05-29 | Paper |
| On the computational strength of pure ambient calculi | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791842 | 2003-02-03 | Paper |
| Ordered SOS process languages for branching and eager bisimulations | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703894 | 1999-12-01 | Paper |
| Refusal testing | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725532 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689180 | 1984-01-01 | Paper |
