Pages that link to "Item:Q989553"
From MaRDI portal
The following pages link to Graphical models of separation logic (Q989553):
Displaying 11 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Graphical models of separation logic (Q989553) (← links)
- In praise of algebra (Q1941861) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Algebra Unifies Operational Calculi (Q3455645) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
