Concurrencies in reversible concurrent calculi
From MaRDI portal
Publication:2097423
DOI10.1007/978-3-031-09005-9_10OpenAlexW4293210605MaRDI QIDQ2097423
Publication date: 11 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_10
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Related Items (5)
Replications in reversible concurrent calculi ⋮ Implementation of a reversible distributed calculus ⋮ revTPL: The Reversible Temporal Process Language ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ Concurrencies in reversible concurrent calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Contextual equivalences in configuration structures and reversibility
- Models for concurrency: Towards a classification
- A calculus of communicating systems
- Non-interleaving semantics for mobile processes
- A brief history of process algebra
- From reversible semantics to reversible debugging
- Static versus dynamic reversibility in CCS
- Concurrencies in reversible concurrent calculi
- An axiomatic approach to reversible computation
- A parametric framework for reversible \(\pi\)-calculi
- Reversing algebraic process calculi
- Rigid Families for CCS and the $$\pi $$ -calculus
- Reversibility and Models for Concurrency
- Concurrency and Reversibility
- On the expressive power of recursion, replication and iteration in process calculi
- Causal Computational Complexity of Distributed Processes
- Forward-Reverse Observational Equivalences in CCSK
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Proved trees
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- Perspectives of System Informatics
- Event structure semantics of (controlled) reversible CCS
This page was built for publication: Concurrencies in reversible concurrent calculi
