Tractable Reasoning in a Fragment of Separation Logic
Byron Cook‚ Christoph Haase‚ Joël Ouaknine‚ Matthew J. Parkinson and James Worrell
Book Title
Concurrency Theory‚ CONCUR
Pages
235–249
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
6901
Year
2011