The following pages link to Unbounded nondeterminism in CSP (Q5887514):
Displaying 13 items.
- Fixed points without completeness (Q674192) (← links)
- The fixed point theory of unbounded non-determinism (Q751807) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Infinitary parallelism without unbounded nondeterminism in CSP (Q1323355) (← links)
- On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Infinite trace equivalence (Q2852364) (← links)
- On the Purpose of Event-B Proof Obligations (Q3535369) (← links)
- The soundness and completeness of axioms for CSP processes (Q3975027) (← links)
- Classifying unbounded nondeterminism in CSP (Q3975028) (← links)
- Unbounded Non-determinism in CSP (Q4276178) (← links)
- An Alternative Order for the Failures Model (Q5285988) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709378) (← links)