The following pages link to Walter Guttmann (Q299187):
Displaying 34 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Normal design algebra (Q844885) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Connecting fixpoints of computations with strict progress (Q2296285) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356) (← links)
- Unifying Correctness Statements (Q2908567) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Towards a Typed Omega Algebra (Q3007578) (← links)
- Unifying Recursion in Partial, Total and General Correctness (Q3055748) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- An ASM Semantics of Token Flow in UML 2 Activity Diagrams (Q3401960) (← links)
- Closure, Properties and Closure Properties of Multirelations (Q3460617) (← links)
- Lazy Relations (Q3498411) (← links)
- Partial, Total and General Correctness (Q3575271) (← links)
- Lazy UTP (Q3585024) (← links)
- General Correctness Algebra (Q3651514) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Modal Design Algebra (Q5307485) (← links)
- Extended Conscriptions Algebraically (Q5410482) (← links)
- Relational Methods in Computer Science (Q5899311) (← links)
