The following pages link to Bernhard Möller (Q299199):
Displayed 50 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Exploring modal worlds (Q406442) (← links)
- Relational style laws and constructs of linear algebra (Q406445) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic separation logic (Q549676) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Towards pointer algebra (Q685621) (← links)
- Least reflexive points of relations (Q815002) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Kleene getting lazy (Q870283) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- On the algebraic specification of infinite objects - ordered and continuous models of algebraic types (Q1057642) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Konstruktion korrekter Programme durch Transformation (Q1093360) (← links)
- (Q1157133) (redirect page) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- Shorter paths to graph algorithms (Q1330455) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Algebraic derivation of until rules and application to timer verification (Q1617827) (← links)
- Dijkstra, Floyd and Warshall meet Kleene (Q1941863) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- An algebra of database preferences (Q2347915) (← links)
- Extended feature algebra (Q2374310) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- (Q2767186) (← links)
- Reverse Exchange for Concurrency and Local Reasoning (Q2908566) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming (Q2915134) (← links)
- An Algebra of Layered Complex Preferences (Q2915151) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Algebraic Notions of Termination (Q3003302) (← links)
- Building Structured Theories (Q3007564) (← links)
- Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- Towards Antichain Algebra (Q3460639) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- The Linear Algebra of UTP (Q3618831) (← links)
- Quantales and Temporal Logics (Q3623939) (← links)
- Towards Algebraic Separation Logic (Q3651508) (← links)