1. Some computer science issues in ubiquitous computing;Weiser;Communications of the ACM,1993
2. Towards a better understanding of context and context-awareness;Dey,2000
3. Mobile ambients;Cardelli;Theoret. Comput. Sci.,2000
4. J.H. Morris, Lambda-calculus models of programming languages, PhD thesis, MIT, 1968.
5. Functions as processes;Milner;Math. Structures Comput. Sci.,1992