Confluence thanks to extensional determinism

DOI10.1016/J.ENTCS.2005.12.098MaRDI QIDQ5262976zbMATH OpenOpenAlexFDO

Authors A. W. Roscoe

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.098

zbMATH Keywords

CSPdeterminismprocess algebraconfluenceCCS

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Confluence for process verification
• scientific article; zbMATH DE number 23767
• Causal automata

Cites work

• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• Bisimulation and divergence
• Testing equivalences for processes

Cited in

(5)

• Compositional state space reduction using untangled actions
• Tracking CSP computations
• Revivals, stuckness and the hierarchy of CSP models
• Checking noninterference in timed CSP
• Rigorous development of component-based systems using component metadata and patterns

This page was built for publication: Confluence thanks to extensional determinism

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