Tractable Reasoning in a Fragment of Separation Logic

Publication
Concurrency Theory, CONCUR