| Publication | Date of Publication | Type |
|---|
Reversibility with holes (work in progress)
| 2024-11-13 | Paper |
A small-step semantics for Janus
| 2024-11-13 | Paper |
Reversible debugging of concurrent Erlang programs: supporting imperative primitives
Journal of Logical and Algebraic Methods in Programming | 2024-03-20 | Paper |
From behavioural contracts to session types
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Reversibility in Erlang: imperative constructs
| 2022-11-11 | Paper |
Causal-Consistent Debugging of Distributed Erlang Programs
Reversible Computation | 2021-11-03 | Paper |
An abstract machine for the Kell calculus
Lecture Notes in Computer Science | 2021-05-20 | Paper |
Fault ascription in concurrent systems
Trustworthy Global Computing | 2021-04-07 | Paper |
Causality analysis and fault ascription in component-based systems
Theoretical Computer Science | 2020-08-25 | Paper |
Checkpoint/rollback vs causally-consistent reversibility
| 2018-10-17 | Paper |
Reversibility in the higher-order \(\pi\)-calculus
Theoretical Computer Science | 2016-04-01 | Paper |
Controlled Reversibility and Compensations
Reversible Computation | 2015-11-30 | Paper |
The M-calculus: a higher-order distributed process calculus
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
A calculus of kells
| 2013-08-27 | Paper |
Concurrent flexible reversibility
Programming Languages and Systems | 2013-08-05 | Paper |
Behavioural typing for objects and process calculi
| 2012-09-05 | Paper |
Characterizing contextual equivalence in calculi with passivation
Information and Computation | 2011-12-12 | 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 |
The Kell calculus: operational semantics and type system.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Howe’s Method for Calculi with Passivation
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Normal Bisimulations in Calculi with Passivation
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
scientific article; zbMATH DE number 1760147 (Why is no real title available?)
| 2002-11-06 | Paper |
scientific article; zbMATH DE number 1638654 (Why is no real title available?)
| 2001-08-29 | Paper |
scientific article; zbMATH DE number 1569119 (Why is no real title available?)
| 2001-02-22 | Paper |
scientific article; zbMATH DE number 1418457 (Why is no real title available?)
| 2001-01-29 | Paper |
scientific article; zbMATH DE number 1304385 (Why is no real title available?)
| 1999-06-17 | Paper |
scientific article; zbMATH DE number 140236 (Why is no real title available?)
| 1993-03-28 | Paper |
scientific article; zbMATH DE number 4056996 (Why is no real title available?)
| 1988-01-01 | Paper |
