The following pages link to (Q4746778):
Displaying 4 items.
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
