7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
Recent approaches to verifying programs in separation logics for concurrency have used state transition systems (STSs) to specify the atomic operations of programs. A key challenge…