Skip to main content

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