Types for access control
- 1 June 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 240 (1) , 215-254
- https://doi.org/10.1016/s0304-3975(99)00232-7
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- A Filter Model for Concurrent $\lambda$-CalculusSIAM Journal on Computing, 1998
- KLAIM: a kernel language for agents interaction and mobilityIEEE Transactions on Software Engineering, 1998
- Interactive mobile agents in X-KLAIMPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- A process algebra based on LindaPublished by Springer Nature ,1996
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Linda in contextCommunications of the ACM, 1989
- Distributed data structures in LindaPublished by Association for Computing Machinery (ACM) ,1986
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985