Author:
Lozes Étienne,Villard Jules
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), pp. 55–74 (2002)
2. Ishtiaq, S., O’Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL 2001, pp. 14–26 (2001)
3. Gordon, A., Cardelli, L.: Anytime, anywhere: Modal logics for mobile ambients. In: Press, A. (ed.) POPL 2000, pp. 365–377 (2000)
4. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Journal of Information and Computation 186(2) (2003)
5. Lecture Notes in Computer Science;D. Hirschkoff,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献