Pages that link to "Item:Q870278"
From MaRDI portal
The following pages link to Modelling angelic and demonic nondeterminism with multirelations (Q870278):
Displayed 10 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- The algebra of multirelations (Q4925034) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)