Causality and replication in concurrent processes

DOI10.1007/B94823MaRDI QIDQ5902418zbMATH OpenOpenAlexFDO

Authors Pierpaolo Degano, Fabio Gadducci, Corrado Priami

Publication date 5 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94823

zbMATH Keywords

causal semanticsprocess calculireplication operator

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A causal operational semantics of action refinement
• A fully abstract semantics for causality in the π-calculus
• Causality for mobile processes
• Non-interleaving semantics for mobile processes
• A fully abstract semantics for causality in the \(\pi\)-calculus

Cited in

(8)

• A causal semantics for CCS via rewriting logic
• Concurrencies in reversible concurrent calculi
• Causal computational complexity of distributed processes
• Types for complexity of parallel computation in pi-calculus
• Programming Languages and Systems
• Replications in reversible concurrent calculi
• The correctness of concurrencies in (reversible) concurrent calculi
• Independence and causality in the reversible concurrent setting

This page was built for publication: Causality and replication in concurrent processes

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