Pages that link to "Item:Q4237908"
From MaRDI portal
The following pages link to A filter model for mobile processes (Q4237908):
Displaying 7 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- A filter model for safe ambients (Q2847788) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)