Replications in reversible concurrent calculi

DOI10.1007/978-3-031-38100-3_2MaRDI QIDQ6148103zbMATH OpenOpenAlexFDO

Authors Clément Aubert

Publication date 11 January 2024

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-38100-3_2

zbMATH Keywords

concurrencyformal semanticsprocess algebras and calculireplicationreversible computation

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• Relative expressiveness of calculi for reversible concurrency
• On Recursion, Replication and Scope Mechanisms in Process Calculi
• On the expressive power of recursion, replication and iteration in process calculi
• scientific article; zbMATH DE number 2038705
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Cites work

• An axiomatic approach to reversible computation
• Causality and replication in concurrent processes
• CONCUR 2004 - Concurrency Theory
• Concurrencies in reversible concurrent calculi
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Forward-reverse observational equivalences in CCSK
• scientific article; zbMATH DE number 5605072 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• Non-interleaving semantics for mobile processes
• On the expressive power of recursion, replication and iteration in process calculi
• Proved trees
• Reversing algebraic process calculi
• The -calculus: A theory of mobile processes
• Types for complexity of parallel computation in pi-calculus

Cited in

(1)

• Implementation of a reversible distributed calculus

This page was built for publication: Replications in reversible concurrent calculi

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