The following pages link to A. W. Roscoe (Q333321):
Displayed 20 items.
- (Q3787461) (← links)
- Corrigenda: laws of programming (Q3799624) (← links)
- The Decomposition of a Rectangle into Rectangles of Minimal Perimeter (Q3812854) (← links)
- (Q3975026) (← links)
- A lattice of conditions on topological spaces II (Q3984229) (← links)
- Unbounded Non-determinism in CSP (Q4276178) (← links)
- (Q4373426) (← links)
- On model checking data-independent systems with arrays without reset (Q4669653) (← links)
- Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication (Q4899713) (← links)
- (Q4942029) (← links)
- CSP: A Practical Process Algebra (Q5029450) (← links)
- Checking Static Properties Using Conservative SAT Approximations for Reachability (Q5045468) (← links)
- Confluence Thanks to Extensional Determinism (Q5262976) (← links)
- An Alternative Order for the Failures Model (Q5285988) (← links)
- FDR3 — A Modern Refinement Checker for CSP (Q5498738) (← links)
- The Three Platonic Models of Divergence-Strict CSP (Q5505592) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709375) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709378) (← links)
- Unbounded nondeterminism in CSP (Q5887514) (← links)
- Integrated Formal Methods (Q5901612) (← links)