Filipovic, I and O'Hearn, PW and Rinetzky, N and Yang, H (2009) Abstraction for Concurrent Objects. In: Castagna, G, (ed.) ESOP. (pp. 252 - 266). Springer
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Abstraction for Concurrent Objects. |
| ISBN-13: | 978-3-642-00589-3 |
| DOI: | 10.1007/978-3-642-00590-9_19 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-642-00590-9 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record