The following pages link to Transitive Separation Logic (Q2915132):
Displaying 6 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- A system of predicate logic with trans-atomic units (Q1094409) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Tableaux and Resource Graphs for Separation Logic (Q3406689) (← links)
- Foundations of Software Science and Computational Structures (Q5705900) (← links)