A filter model for mobile processes
From MaRDI portal
Recommendations
Cited in
(9)- Full abstractness for a functional/concurrent language with higher-order value-passing
- Discrimination by parallel observers: the algorithm.
- Mobile objects as mobile processes
- A fully abstract model for mobile ambients
- A filter model for safe ambients
- scientific article; zbMATH DE number 3876645 (Why is no real title available?)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- scientific article; zbMATH DE number 2086520 (Why is no real title available?)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
This page was built for publication: A filter model for mobile processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237908)