Jung, Ralf; Swasey, David; Sieczkowski, Filip; Svendsen, Kasper; Turon, Aaron; Birkedal, Lars; Dreyer, Derek Iris: monoids and invariants as an orthogonal basis for concurrent reasoning. (English) Zbl 1346.68135 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 637-650 (2015). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{R. Jung} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 637--650 (2015; Zbl 1346.68135) Full Text: DOI
Turon, Aaron Joseph; Wand, Mitchell A separation logic for refining concurrent objects. (English) Zbl 1284.68207 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011). MSC: 68N30 68N19 68Q85 68M20 PDFBibTeX XMLCite \textit{A. J. Turon} and \textit{M. Wand}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 247--258 (2011; Zbl 1284.68207) Full Text: DOI Link