Pages that link to "Item:Q3541032"
From MaRDI portal
The following pages link to A Spatial Equational Logic for the Applied π-Calculus (Q3541032):
Displaying 4 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- A spatial extension to the \(\pi\) calculus (Q2870304) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Foundations of Software Science and Computation Structures (Q5308443) (← links)