research
∙
09/11/2023
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 3...
share
research
∙
02/27/2023
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Petri nets, where causal dependencies are modelled via inhibitor arcs, c...
research
∙
12/07/2022
revTPL: The Reversible Temporal Process Language
Reversible debuggers help programmers to find the causes of misbehaviour...
research
∙
05/03/2022
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach
Causal consistent reversibility blends causality and reversibility. For ...
research
∙
10/24/2019
Reversible Causal Nets and Reversible Event Structures
One of the well-known results in concurrency theory concerns the relatio...
research
∙
10/09/2019
Reversing Place Transition Nets
Petri nets are a well-known model of concurrency and provide an ideal se...
research
∙
07/31/2018
A Parametric Framework for Reversible π-Calculi
This paper presents a study of causality in a reversible, concurrent set...
research
∙
08/24/2017