Reasoning over permissions regions in concurrent separation logic

DOI10.1007/978-3-030-53291-8_13zbMath1478.68051OpenAlexW3043523855MaRDI QIDQ2226736

James Brotherston, John Wickerson, Aquinas Hobor, Diana Costa

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_13

zbMATH Keywords

verificationconcurrencyseparation logicpermissions

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Reasoning over permissions regions in concurrent separation logic