Aquinas Hobor Cristian Gherghina Barriers in Concurrent Separation Logic: Now With Tool Support! http://dx.doi.org/10.2168/LMCS-8(2:2)2012 2012 Logical Methods in Computer Science 8 2 db/journals/lmcs/lmcs8.html#abs-1203-6412