Abstraction for Concurrent Objects
Main Authors: | , , , |
---|---|
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 |