Local Action and Abstract Separation Logic (2007)

by C Calcagno, P W O’Hearn, H Yang
Venue:In 22nd IEEE Symposium on Logic in Computer Science, Wroclaw