UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Abstraction for Concurrent Objects.

Filipovic, I; O'Hearn, PW; Rinetzky, N; 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.
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