An Alternative Order for the Failures Model

DOI10.1093/LOGCOM/2.5.557MaRDI QIDQ5285988zbMATH OpenOpenAlexFDO

Authors A. W. Roscoe

Publication date 29 June 1993

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/2.5.557

zbMATH Keywords

CSPfailures-divergencespartial ordersrecursion inductiontopology

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Step failures semantics and a complete proof system
• Unbounded nondeterminism in CSP
• Unbounded Non-determinism in CSP
• A hierarchy of failures-based models: theory and application

Cited in

(16)

• Revivals, stuckness and the hierarchy of CSP models
• A CSP model with flexible parallel termination semantics
• Towards `up to context' reasoning about higher-order processes
• A hierarchy of failures-based models
• scientific article; zbMATH DE number 3990850 (Why is no real title available?)
• Extensional and intensional semantics of bounded and unbounded nondeterminism
• Divergence and unique solution of equations
• Divergence and unique solution of equations
• The Three Platonic Models of Divergence-Strict CSP
• Communicating Sequential Processes. The First 25 Years
• Communicating Sequential Processes. The First 25 Years
• Hidden-Markov program algebra with iteration
• Unbounded nondeterminism in CSP
• Sequential algorithms for unbounded nondeterminism
• An operational semantics in Isabelle/HOL-CSP
• A theory of Proc-Omata -- and proof methods for process architectures

This page was built for publication: An Alternative Order for the Failures Model

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