UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Resources, Concurrency, and Local Reasoning (Abstract).

O'Hearn, PW; (2004) Resources, Concurrency, and Local Reasoning (Abstract). In: Schmidt, DA, (ed.) ESOP. (pp. 1 - 2). Springer

Full text not available from this repository.


Type:Proceedings paper
Title:Resources, Concurrency, and Local Reasoning (Abstract).
ISBN:3-540-21313-9
DOI:10.1007/978-3-540-24725-8_1
Publisher version:http://www.informatik.uni-trier.de/~ley/db/conf/esop/esop2004.html
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record