Abstraction for Concurrent Objects
Ivana Filipovic‚ Peter W. O’Hearn‚ Noam Rinetzky and Hongseok Yang
Address
York‚ UK
Book Title
Proceedings of the 18th European Symposium on Programming
ISBN
978−3−642−00589−3
Month
March
Pages
252–266
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5502
Year
2009