Local Action and Abstract Separation Logic (Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, 2007)

(untitled) - Calcagno, C; O'Hearn, P; Yang, H