1. Ishtiaq, S.S., O’Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL 2001, ACM Press, New York (2001)
2. Reynolds, J.C.: Separation Logic: a logic for shared mutable data structures. In: LICS 2002, IEEE Computer Society, Los Alamitos (2002)
3. Lecture Notes in Computer Science;H. Yang,2002
4. Cardelli, L., Gordon, A.D.: Anytime, anywhere: modal logics for mobile ambients. In: POPL 2000, ACM Press, New York (2000)
5. Calcagno, C., Gardner, P., Zarfaty, U.: Context Logic and tree update. In: POPL 2005, ACM Press, New York (2005)