The reversible temporal process language
From MaRDI portal
Publication:2165209
DOI10.1007/978-3-031-08679-3_3zbMath1499.68220OpenAlexW4290960066MaRDI QIDQ2165209
Laura Bocchi, Shoji Yuen, Ivan Lanese, Claudio Antares Mezzina
Publication date: 19 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-08679-3_3
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ revTPL ⋮ Processes against tests: on defining contextual equivalences
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- Timed runtime monitoring for multiparty conversations
- On reversibility and broadcast
- A process algebra for timed systems
- Static versus dynamic reversibility in CCS
- An axiomatic approach to reversible computation
- A parametric framework for reversible \(\pi\)-calculi
- Reversing algebraic process calculi
- Real-time production scheduling in the Industry-4.0 context: addressing uncertainties in job arrivals and machine breakdowns
- Controlling Reversibility in Higher-Order Pi
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Towards Bridging Time and Causal Reversibility
- Causal-Consistent Debugging of Distributed Erlang Programs
- Towards a Truly Concurrent Semantics for Reversible CCS
- Forward-Reverse Observational Equivalences in CCSK
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
This page was built for publication: The reversible temporal process language
