Pages that link to "Item:Q1094869"
From MaRDI portal
The following pages link to Two normal form theorems for CSP programs (Q1094869):
Displaying 7 items.
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Design and verification of fault tolerant systems with CSP (Q1176076) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
