Replications in reversible concurrent calculi

DOI10.1007/978-3-031-38100-3_2OpenAlexW4383900300MaRDI QIDQ6148103

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

formal semanticsreplicationconcurrencyreversible computationprocess algebras and calculi

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-interleaving semantics for mobile processes
• Concurrencies in reversible concurrent calculi
• An axiomatic approach to reversible computation
• Types for complexity of parallel computation in pi-calculus
• Reversing algebraic process calculi
• On the expressive power of recursion, replication and iteration in process calculi
• Forward-Reverse Observational Equivalences in CCSK
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Proved trees
• CONCUR 2004 - Concurrency Theory
• Perspectives of System Informatics

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