A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras.

Vincent Jackson, Toby Murray, Christine Rizkallah

Browse the full ITP paper archive.