The reversible temporal process language

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

Mathematics Subject Classification ID

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 (5)

Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ An axiomatic theory for reversible computation ⋮ 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