The following pages link to Algebraic separation logic (Q549676):
Displaying 19 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Exploring modal worlds (Q406442) (← links)
- Extending separation logic with fixpoints and postponed substitution (Q820139) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- False failure: creating failure models for separation logic (Q1617829) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- Two for the price of one: lifting separation logic assertions (Q2914243) (← links)
- Mechanised Separation Algebra (Q2914753) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- (Q3121529) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- (Q5376651) (← links)
