The following pages link to Convolution as a Unifying Concept (Q5277916):
Displaying 6 items.
- Catoids and modal convolution algebras (Q2686581) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Convolution and concurrency (Q5084483) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
