The following pages link to Georg Struth (Q299200):
Displaying 50 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Modelling computing systems. Mathematics for computer science (Q355066) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Verifying hybrid systems with modal Kleene algebra (Q1617825) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Cylindric Kleene lattices for program construction (Q2176678) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- A calculus of space, time, and causality: its algebra, geometry, logic (Q2296282) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- (Q2723902) (← links)
- (Q2778885) (← links)
- Knuth-Bendix Completion for Non-Symmetric Transitive Relations (Q2841250) (← links)
- An Event Structure Model for Probabilistic Concurrent Kleene Algebra (Q2870160) (← links)
- Automated Analysis of Regular Algebra (Q2908498) (← links)
- Dependently Typed Programming Based on Automated Theorem Proving (Q2908568) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Algebraic Notions of Termination (Q3003302) (← links)
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Q3007567) (← links)
- Omega Algebras and Regular Equations (Q3007581) (← links)
- On Probabilistic Kleene Algebras, Automata and Simulations (Q3007582) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- Relational Formalisations of Compositions and Liftings of Multirelations (Q3460618) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- On Automated Program Construction and Verification (Q3575262) (← links)
- Automated Reasoning in Kleene Algebra (Q3608779) (← links)
