Abstraction for Concurrent Objects
Ivana Filipovic‚ Peter W. O’Hearn‚ Noam Rinetzky and Hongseok Yang
Journal
Theoretical Computer Science
Number
51−52
Pages
4379–4398
Publisher
Elsevier
Volume
411
Year
2010
Ivana Filipovic‚ Peter W. O’Hearn‚ Noam Rinetzky and Hongseok Yang