Pages that link to "Item:Q5191522"
From MaRDI portal
The following pages link to FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191522):
Displaying 5 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
