UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Abstraction for Concurrent Objects

Filipovic, I; O'Hearn, P; Rinetzky, N; Yang, H; (2009) Abstraction for Concurrent Objects. In: Castagna, G, (ed.) (Proceedings) 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software. (pp. pp. 252-266). SPRINGER-VERLAG BERLIN

Full text not available from this repository.
Type: Proceedings paper
Title: Abstraction for Concurrent Objects
Event: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software
Location: Univ York, York, ENGLAND
Dates: 22 March 2009 - 29 March 2009
ISBN-13: 978-3-642-00589-3
Keywords: Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1342327
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item