Confluence thanks to extensional determinism

DOI10.1016/J.ENTCS.2005.12.098zbMATH Open1316.68106OpenAlexW2140380236MaRDI QIDQ5262976FDOQ5262976

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Testing equivalences for processes
• Bisimulation and divergence
• A Theory of Communicating Sequential 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

   Recommendations

• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Confluence for process verification
• [[:Publication:3982059|Title not available (Why is that?)]]
• Causal automata

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)