Barriers in Concurrent Separation Logic.

Aquinas Hobor, Cristian Gherghina

Browse the full ESOP paper archive.