1. Abiteboul, S., Benjelloun, O., Cautis, B., Milo, T.: Active XML, Security and Access Control. In: Lifschitz, S. (ed) SBBD 2004, pp. 13–22 (2004)
2. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. In: Data Management Systems, Morgan Kaufmann, Seattle (1999)
3. Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility. In: Gabriel, R.P., Johnson, R. (eds.) OOPSLA 2005, pp. 403–422. ACM Press, New York (2005)
4. Lecture Notes in Computer Science;L. Cardelli,2004
5. Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the Ambient Calculus. Information and Computation 177(2), 160–194 (2002)