Concurrency, Rely/Guarantee Thinking and Separation Logic (Extended Abstract). Jones, C. B. In Battle, N. & Fitzgerald, J., editors, Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014, January, 2015. School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446.
Concurrency, Rely/Guarantee Thinking and Separation Logic (Extended Abstract) [pdf]Paper  bibtex   

Downloads: 0