The correctness of concurrencies in (reversible) concurrent calculi

DOI10.1016/J.JLAMP.2023.100924MaRDI QIDQ6151611zbMATH OpenOpenAlexFDO

Authors Clément Aubert

Publication date 12 February 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2023.100924

zbMATH Keywords

concurrencyformal semanticsprocess algebrareversibility

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A brief history of process algebra
• A calculus of communicating systems
• A compositional semantics for the reversible -calculus
• An axiomatic approach to reversible computation
• Causal computational complexity of distributed processes
• Causality and replication in concurrent processes
• Concurrencies in reversible concurrent calculi
• Concurrency and reversibility
• Contextual equivalences in configuration structures and reversibility
• Event structure semantics of (controlled) reversible CCS
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Forward-reverse observational equivalences in CCSK
• From reversible semantics to reversible debugging
• scientific article; zbMATH DE number 5605072 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• Models for concurrency: Towards a classification
• Non-interleaving semantics for mobile processes
• On the expressive power of recursion, replication and iteration in process calculi
• Processes against tests: on defining contextual equivalences
• Reversibility and models for concurrency
• Reversibility in the higher-order \(\pi\)-calculus
• Reversing algebraic process calculi
• The -calculus: A theory of mobile processes
• Towards a Truly Concurrent Semantics for Reversible CCS

Cited in

(5)

• Compositional reversible computation
• Independence and causality in the reversible concurrent setting
• Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility
• A truly concurrent semantics for reversible CCS
• Reversible computations are computations

This page was built for publication: The correctness of concurrencies in (reversible) concurrent calculi

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