47 citations · 56 across the 7 of their papers we have counts for
1 paper · 2 filters
Ke Du, William Mansky, Paolo G. Giarrusso +1
Mutexes (i.e., locks) are well understood in separation logic, and can be specified in terms of either protecting an invariant or atomically changing the state of the lock. In this…