1. Ahmed, A., Jia, L., Walker, D.: Reasoning about hierarchical storage. In: 18th IEEE Symposium on Logic in Computer Science, Ottawa, Canada, pp. 33–43 (2003)
2. Biri, N., Galmiche, D.: A modal linear logic for distribution and mobility. In: FLOC 2002 Workshop on Linear Logic, Copenhagen, Denmark (July 2002)
3. Lecture Notes in Computer Science;L. Caires,2001
4. Calcagno, C., Cardelli, L., Gordon, A.: Deciding validity in a spatial logic for trees. In: ACM Sigplan Workshop on Types in Language Design and Implementation, TLDI 2003, New Orleans, USA (2003)
5. Lecture Notes in Computer Science;C. Calcagno,2001