Tractable Reasoning in a Fragment of Separation Logic.
Byron Cook‚ Christoph Haase‚ Joel Ouaknine‚ Matthew Parkinson and James Worrell
Book Title
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11)
Editor
Joost−Pieter Katoen and Barbara König
Location
Aachen‚ Germany
Pages
235–249
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6901
Year
2011