Unbounded nondeterminism in CSP

DOI10.1007/BFB0040257MaRDI QIDQ5887514

Geoff Barrett, A. W. Roscoe

Publication date: 12 April 2023

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

zbMATH Keywords

fixed point theorypartial orderdeterministic processregular cardinaloperational semantic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On the Purpose of Event-B Proof Obligations ⋮ Fixed points without completeness ⋮ From algebra to operational semantics

Cites Work

• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Unbounded nondeterminism in CSP