Pages that link to "Item:Q4711358"
From MaRDI portal
The following pages link to A mathematical approach to nondeterminism in data types (Q4711358):
Displayed 9 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)