revTPL: The Reversible Temporal Process Language

DOI10.46298/LMCS-20(1:11)2024MaRDI QIDQ6151560zbMATH OpenOpenAlexFDO

Authors Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Publication date 11 March 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2212.03687v5

zbMATH Keywords

operational semanticsprocess calculireversible computingtimed systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• The reversible temporal process language
• From reversible semantics to reversible debugging
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• A modular formalization of reversibility for concurrent models and languages
• Causal-consistent replay reversible semantics for message passing concurrent programs

Cites work

• A calculus of communicating systems
• A compositional semantics for the reversible -calculus
• A parametric framework for reversible \(\pi\)-calculi
• A process algebra for timed systems
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A theory of timed automata
• Absolute versus relative time in process algebras.
• An axiomatic approach to reversible computation
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-Consistent Debugging of Distributed Erlang Programs
• Causal-consistent reversibility
• Causal-consistent rollback in a tuple-based language
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• CONCUR 2004 - Concurrency Theory
• Concurrencies in reversible concurrent calculi
• Controlling Reversibility in Higher-Order Pi
• Forward-reverse observational equivalences in CCSK
• scientific article; zbMATH DE number 3956423 (Why is no real title available?)
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Model-checking in dense real-time
• Modeling and analysis of communicating systems
• On reversibility and broadcast
• Real time process algebra
• Real-time production scheduling in the Industry-4.0 context: addressing uncertainties in job arrivals and machine breakdowns
• Reversibility in Erlang: imperative constructs
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computation in Petri nets
• Reversing algebraic process calculi
• Static versus dynamic reversibility in CCS
• The algebra of timed processes, ATP: Theory and application
• The reversible temporal process language
• TIC: a tImed calculus
• Time-abstracted bisimulation: Implicit specifications and decidability
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• Timed runtime monitoring for multiparty conversations
• Timing and causality in process algebra
• Towards a Truly Concurrent Semantics for Reversible CCS
• Towards bridging time and causal reversibility

Cited in

(4)

• Reversible debugging in logic programming
• Causal reversibility in nondeterministic process calculi extended with time or probabilities
• Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings

This page was built for publication: revTPL: The Reversible Temporal Process Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151560)