The following pages link to Unbounded Non-determinism in CSP (Q4276178):
Displayed 5 items.
- SAT-solving in CSP trace refinement (Q436423) (← links)
- Fixed points without completeness (Q674192) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- The Calculus of Handshake Configurations (Q3617732) (← links)