Abstraction for Concurrent Objects

Bibliographic Details
Main Authors: Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Format: Conference item
Published: Springer−Verlag 2009
_version_ 1797082260431699968
author Filipovic, I
O’Hearn, P
Rinetzky, N
Yang, H
author_facet Filipovic, I
O’Hearn, P
Rinetzky, N
Yang, H
author_sort Filipovic, I
collection OXFORD
description
first_indexed 2024-03-07T01:25:36Z
format Conference item
id oxford-uuid:91df2ebf-665d-4b2f-ab15-4cc203c6a446
institution University of Oxford
last_indexed 2024-03-07T01:25:36Z
publishDate 2009
publisher Springer−Verlag
record_format dspace
spelling oxford-uuid:91df2ebf-665d-4b2f-ab15-4cc203c6a4462022-03-26T23:21:33ZAbstraction for Concurrent ObjectsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:91df2ebf-665d-4b2f-ab15-4cc203c6a446Department of Computer ScienceSpringer−Verlag2009Filipovic, IO’Hearn, PRinetzky, NYang, H
spellingShingle Filipovic, I
O’Hearn, P
Rinetzky, N
Yang, H
Abstraction for Concurrent Objects
title Abstraction for Concurrent Objects
title_full Abstraction for Concurrent Objects
title_fullStr Abstraction for Concurrent Objects
title_full_unstemmed Abstraction for Concurrent Objects
title_short Abstraction for Concurrent Objects
title_sort abstraction for concurrent objects
work_keys_str_mv AT filipovici abstractionforconcurrentobjects
AT ohearnp abstractionforconcurrentobjects
AT rinetzkyn abstractionforconcurrentobjects
AT yangh abstractionforconcurrentobjects