| Publication | Date of Publication | Type |
|---|
Causal debugging for concurrent systems
| 2024-11-13 | Paper |
Reversibility with holes (work in progress)
| 2024-11-13 | Paper |
A small-step semantics for Janus
| 2024-11-13 | Paper |
Causal reversibility implies time reversibility
| 2024-05-29 | Paper |
An axiomatic theory for reversible computation
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Reversible debugging of concurrent Erlang programs: supporting imperative primitives
Journal of Logical and Algebraic Methods in Programming | 2024-03-20 | Paper |
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
| 2024-03-14 | Paper |
revTPL: The Reversible Temporal Process Language
Logical Methods in Computer Science | 2024-03-11 | Paper |
On Composing Communicating Systems
Electronic Proceedings in Theoretical Computer Science | 2024-03-01 | Paper |
Playing with bisimulation in Erlang
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Causal-consistent replay debugging for message passing programs
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Reversing Unbounded Petri Nets
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
Towards a taxonomy for reversible computation approaches
Reversible Computation | 2024-01-11 | Paper |
Composition of synchronous communicating systems
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
A Theory of Formal Choreographic Languages
Logical Methods in Computer Science | 2023-08-26 | Paper |
Reversibility in Erlang: imperative constructs
| 2022-11-11 | Paper |
The reversible temporal process language
| 2022-08-19 | Paper |
scientific article; zbMATH DE number 7559489 (Why is no real title available?)
| 2022-07-18 | Paper |
Causal-Consistent Debugging of Distributed Erlang Programs
Reversible Computation | 2021-11-03 | Paper |
Forward-reverse observational equivalences in CCSK
Reversible Computation | 2021-11-03 | Paper |
Static and dynamic property-preserving updates
Information and Computation | 2021-07-21 | Paper |
Causal-consistent replay reversible semantics for message passing concurrent programs
Fundamenta Informaticae | 2021-05-21 | Paper |
Static versus dynamic reversibility in CCS
Acta Informatica | 2021-04-28 | Paper |
Composition and decomposition of multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
scientific article; zbMATH DE number 7315003 (Why is no real title available?)
| 2021-02-24 | Paper |
An axiomatic approach to reversible computation
| 2020-09-23 | Paper |
A modular formalization of reversibility for concurrent models and languages
| 2020-02-17 | Paper |
Causal-consistent reversibility
| 2019-07-03 | Paper |
From reversible semantics to reversible debugging
| 2018-10-17 | Paper |
A theory of reversibility for Erlang
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
Cauder: a causal-consistent reversible debugger for Erlang
| 2018-07-09 | Paper |
Most General Property-Preserving Updates
Language and Automata Theory and Applications | 2017-06-01 | Paper |
scientific article; zbMATH DE number 6703933 (Why is no real title available?)
| 2017-04-11 | Paper |
Causal-consistent rollback in a tuple-based language
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
The stream-based service-centred calculus: a foundation for service-oriented programming
Formal Aspects of Computing | 2016-08-05 | 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 evolution of Jolie. From orchestrations to adaptable choreographies
Software, Services, and Systems | 2015-06-22 | Paper |
Exploiting user-definable synchronizations in graph transformation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
| 2013-10-07 | Paper |
Synchronization algebras with mobility for graph transformations
| 2013-09-26 | Paper |
A graphical fusion calculus
| 2013-09-11 | Paper |
Concurrent flexible reversibility
Programming Languages and Systems | 2013-08-05 | Paper |
A new strategy for distributed compensations with interruption in long-running transactions
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Controlling Reversibility in Higher-Order Pi
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
On the expressiveness and decidability of higher-order process calculi
Information and Computation | 2011-02-21 | Paper |
On the expressiveness of polyadic and synchronous communication in higher-order process calculi
Automata, Languages and Programming | 2010-09-07 | Paper |
Reversing Higher-Order Pi
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
On the Expressive Power of Primitives for Compensation Handling
Programming Languages and Systems | 2010-05-04 | Paper |
An operational semantics for a calculus for wireless systems
Theoretical Computer Science | 2010-04-22 | Paper |
Dynamic error handling in service oriented applications
Fundamenta Informaticae | 2010-02-05 | Paper |
Tiles for Reo
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
PRISMA: A Mobile Calculus with Parametric Synchronization
Trustworthy Global Computing | 2009-03-05 | Paper |
Parametric synchronizations in mobile nominal calculi
Theoretical Computer Science | 2008-08-06 | Paper |
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Concurrent and Located Synchronizations in π-Calculus
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
A basic algebra of stateless connectors
Theoretical Computer Science | 2007-01-09 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
scientific article; zbMATH DE number 2163032 (Why is no real title available?)
| 2005-04-29 | Paper |
