1. Roman, G.C., Picco, G.P., Murphy, A.: A Software Engineering Perspective On Mobility. In: Future of Software Engineering, 22nd International Conference on Software Engineering, pp. 241–258 (2000)
2. Lecture Notes in Computer Science;L. Cardelli,1999
3. Bell, D., LaPadula, L.: Secure Computer Systems: Unified Exposition and Multics Interpretation. Technical report, Mitre Corp, US (2001)
4. Agha, G.A.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
5. Venkatasubramanian, N., Talcott, C.: A Semantic Framework for Modeling and Reasoning about Reflective Middleware. IEEE Distributed Systems Online 2(6) (2001)