The following pages link to Concurrent Dynamic Algebra (Q5277895):
Displaying 7 items.
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- Taming Multirelations (Q5278188) (← links)
