Reasoning over Permissions Regions in Concurrent Separation Logic.

James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson

Browse the full CAV paper archive.