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 +1
In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resources---a form of state trans…