The following pages link to CONCUR 2004 - Concurrency Theory (Q5311477):
Displaying 4 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
