| Publication | Date of Publication | Type |
|---|
| Model checking reversible systems: forwardly | 2024-11-13 | Paper |
A reversible perspective on Petri nets and event structures
ACM Transactions on Computational Logic | 2024-11-12 | Paper |
| Causal reversibility implies time reversibility | 2024-05-29 | Paper |
| Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity | 2024-05-03 | Paper |
revTPL: The Reversible Temporal Process Language
Logical Methods in Computer Science | 2024-03-11 | Paper |
Testing for coordination fidelity
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Towards a taxonomy for reversible computation approaches
Reversible Computation | 2024-01-11 | Paper |
| Relating reversible Petri nets and reversible event structures, categorically | 2024-01-11 | Paper |
A Truly Concurrent Semantics for Reversible CCS
(available as arXiv preprint) | 2023-09-25 | Paper |
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Logical Methods in Computer Science | 2023-08-26 | Paper |
Towards bridging time and causal reversibility
Formal Techniques for Distributed Objects, Components, and Systems | 2022-10-13 | Paper |
| The reversible temporal process language | 2022-08-19 | Paper |
A Petri net view of covalent bonds
Theoretical Computer Science | 2022-02-21 | Paper |
scientific article; zbMATH DE number 7471661 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471661 (Why is no real title available?) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7447776 (Why is no real title available?) | 2021-12-17 | Paper |
Towards a Truly Concurrent Semantics for Reversible CCS
Reversible Computation | 2021-11-03 | Paper |
Reversible occurrence nets and causal reversible prime event structures
(available as arXiv preprint) | 2021-07-05 | Paper |
| Towards a formal account for software transactional memory | 2021-07-05 | Paper |
Static versus dynamic reversibility in CCS
Acta Informatica | 2021-04-28 | Paper |
A parametric framework for reversible \(\pi\)-calculi
Information and Computation | 2020-12-15 | Paper |
A parametric framework for reversible \(\pi\)-calculi
Information and Computation | 2020-12-15 | Paper |
scientific article; zbMATH DE number 7269252 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269252 (Why is no real title available?) | 2020-11-03 | Paper |
| Causal-consistent reversibility | 2019-07-03 | Paper |
| On reversibility and broadcast | 2018-10-17 | Paper |
Reversibility in session-based concurrency: a fresh look
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Causal-consistent rollback in a tuple-based language
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Static VS Dynamic Reversibility in CCS
Reversible Computation | 2016-08-10 | Paper |
Reversibility in the higher-order \(\pi\)-calculus
Theoretical Computer Science | 2016-04-01 | Paper |
Global protocol implementations via attribute-based communication
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Controlled Reversibility and Compensations
Reversible Computation | 2015-11-30 | Paper |
Concurrent flexible reversibility
Programming Languages and Systems | 2013-08-05 | Paper |
Controlling Reversibility in Higher-Order Pi
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Reversing Higher-Order Pi
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
