76 citations · 129 across the 23 of their papers we have counts for
3 papers · 1 filter
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
Rely-guarantee (RG) is a highly influential compositional proof technique for concurrent programs, which was originally developed assuming a sequentially consistent shared memory.…
Verifying C11 Programs Operationally
Simon Doherty, Brijesh Dongol, Heike Wehrheim +1
This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete wit…
Towards A Shape Analysis for Graph Transformation Systems
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, cover- ing areas as diverse as refactorings, network topolo…