The following pages link to (Q3216137):
Displaying 5 items.
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- Denotational semantics of communicating sequential programs (Q1088402) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)