The following pages link to Jules Villard (Q992516):
Displayed 11 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Local reasoning about the presence of bugs: incorrectness separation logic (Q2226739) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- CoLoSL: Concurrent Local Subjective Logic (Q2802462) (← links)
- The ramifications of sharing in data structures (Q2931837) (← links)
- Verifying Concurrent Graph Algorithms (Q3179300) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- (Q5208772) (← links)
- Sub-classical Boolean Bunched Logics and the Meaning of Par (Q5351966) (← links)
- Parametric completeness for separation theories (Q5408441) (← links)
- Developments in Concurrent Kleene Algebra (Q5410474) (← links)