Of wlp and CSP

DOI10.1016/J.ENTCS.2009.12.016MaRDI QIDQ2994489zbMATH OpenOpenAlexFDO

Authors Steve Dunne

Publication date 1 August 2016

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.2009.12.016

zbMATH Keywords

CSPCFFDintermediate correctnessstable failureswlp

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 CSP model with flexible parallel termination semantics
• Step failures semantics and a complete proof system
• scientific article; zbMATH DE number 3990850
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 3928330

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46743 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• A state-based approach to communicating processes
• General correctness: A unification of partial and total correctness
• Process simulation and refinement
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The weakest deadlock-preserving congruence
• Unifying wp and wlp

Cited in

(3)

• scientific article; zbMATH DE number 3990850 (Why is no real title available?)
• Step failures semantics and a complete proof system
• Communicating Sequential Processes. The First 25 Years

This page was built for publication: Of wlp and CSP

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