Tractable Reasoning in a Fragment of Separation Logic

Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell
January 2011
PDF DOI
Type
Conference paper
Publication
Concurrency Theory, CONCUR