revTPL: The Reversible Temporal Process Language
From MaRDI portal
Publication:6151560
DOI10.46298/lmcs-20(1:11)2024arXiv2212.03687v5OpenAlexW4391681787MaRDI QIDQ6151560
Laura Bocchi, Shoji Yuen, Ivan Lanese, Claudio Antares Mezzina
Publication date: 11 March 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2212.03687v5
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Causal-consistent rollback in a tuple-based language
- Model-checking in dense real-time
- A calculus of communicating systems
- TIC: a tImed calculus
- A theory of timed automata
- The algebra of timed processes, ATP: Theory and application
- Time-abstracted bisimulation: Implicit specifications and decidability
- Comparing the worst-case efficiency of asynchronous systems with PAFAS
- Cauder: a causal-consistent reversible debugger for Erlang
- Timed runtime monitoring for multiparty conversations
- On reversibility and broadcast
- Reversible computation in Petri nets
- Absolute versus relative time in process algebras.
- A process algebra for timed systems
- Timing and causality in process algebra
- Static versus dynamic reversibility in CCS
- Concurrencies in reversible concurrent calculi
- Reversibility in Erlang: imperative constructs
- The reversible temporal process language
- An axiomatic approach to reversible computation
- A parametric framework for reversible \(\pi\)-calculi
- Real time process algebra
- 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: revTPL: The Reversible Temporal Process Language
