| Publication | Date of Publication | Type |
|---|
An axiomatic theory for reversible computation
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Towards a taxonomy for reversible computation approaches
Reversible Computation | 2024-01-11 | Paper |
scientific article; zbMATH DE number 7447776 (Why is no real title available?)
| 2021-12-17 | Paper |
Event structures for the reversible early internal \(\pi\)-calculus
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Forward-reverse observational equivalences in CCSK
Reversible Computation | 2021-11-03 | Paper |
Event structure semantics of (controlled) reversible CCS
Journal of Logical and Algebraic Methods in Programming | 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
Reversible Computation | 2021-07-05 | Paper |
A logic with reverse modalities for history-preserving bisimulations
| 2021-03-10 | Paper |
Reverse bisimulations on stable configuration structures
| 2021-02-09 | Paper |
A parametric framework for reversible \(\pi\)-calculi
Information and Computation | 2020-12-15 | Paper |
An axiomatic approach to reversible computation
| 2020-09-23 | Paper |
Towards a categorical representation of reversible event structures
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Event structure semantics of (controlled) reversible CCS
Reversible Computation | 2018-10-17 | Paper |
Discrete-time heavy-tailed chains, and their properties in modeling network traffic
ACM Transactions on Modeling and Computer Simulation | 2018-06-12 | Paper |
Real-time methods in reversible computation
Reversible Computation | 2016-09-30 | Paper |
Event identifier logic
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Reversible Computation | 2015-11-30 | Paper |
Reversibility and asymmetric conflict in event structures
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Operational semantics of reversibility in process algebra
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Concurrency and reversibility
Reversible Computation | 2014-09-02 | Paper |
Reversibility and models for concurrency
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
Modelling of Bonding with Processes and Events
Reversible Computation | 2013-12-17 | Paper |
Matching systems for concurrent calculi
Electronic Notes in Theoretical Computer Science | 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
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
A hierarchy of reverse bisimulations on stable configuration structures
MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
Symmetric electoral systems for ambient calculi
Information and Computation | 2008-03-11 | Paper |
CCS with priority guards
The Journal of Logic and Algebraic Programming | 2008-03-05 | Paper |
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science | 2007-12-18 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Separation Results Via Leader Election Problems
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Reversing algebraic process calculi
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Leader election in rings of ambient processes
Theoretical Computer Science | 2006-05-29 | Paper |
On the computational strength of pure ambient calculi
Theoretical Computer Science | 2005-02-22 | Paper |
scientific article; zbMATH DE number 1863171 (Why is no real title available?)
| 2003-02-03 | Paper |
Ordered SOS process languages for branching and eager bisimulations
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1372685 (Why is no real title available?)
| 1999-12-01 | Paper |
Refusal testing
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3956420 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3912372 (Why is no real title available?)
| 1984-01-01 | Paper |
