research
∙
10/23/2020
On Algebraic Abstractions for Concurrent Separation Logics
Concurrent separation logic is distinguished by transfer of state owners...
research
∙
04/15/2019
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
In addition to pre- and postconditions, program specifications in recent...
research
∙
09/22/2017