Pages that link to "Item:Q906271"
From MaRDI portal
The following pages link to A calculus and logic of bunched resources and processes (Q906271):
Displaying 6 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- A process calculus for privacy-preserving protocols in location-based service systems (Q2669244) (← links)
- (Q3121529) (← links)
- (Q4553286) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)
