Independence and causality in the reversible concurrent setting

DOI10.1007/978-3-031-97063-4_2MaRDI QIDQ6899791zbMATH OpenFDO

Authors Clément Aubert, Iain Phillips, Irek Ulidowski

Publication date 14 November 2025

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

zbMATH Keywords

causalityconcurrencyconflicteventsindependencelabelled transition systemsprocess algebrasreversibility

Mathematics Subject Classification ID

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

Cites work

• A calculus of communicating systems
• An axiomatic approach to reversible computation
• An axiomatic theory for reversible computation
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• Causality and replication in concurrent processes
• CONCUR 2004 - Concurrency Theory
• Concurrencies in reversible concurrent calculi
• Diamonds for security: a non-interleaving operational semantics for the applied -calculus
• Discovering ePassport vulnerabilities using bisimilarity
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
• Flow models of distributed computations: Three equivalent semantics for CCS
• Forward-reverse observational equivalences in CCSK
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• Models for concurrency: Towards a classification
• Reversibility and models for concurrency
• Reversing algebraic process calculi
• The Applied Pi Calculus
• The correctness of concurrencies in (reversible) concurrent calculi

This page was built for publication: Independence and causality in the reversible concurrent setting

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