The following pages link to CONCUR 2004 - Concurrency Theory (Q5311483):
Displayed 4 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)