Abstraction for Concurrent Objects

Bibliografiset tiedot
Päätekijät: Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Aineistotyyppi: Journal article
Julkaistu: 2010
_version_ 1826263084330647552
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-06T19:46:05Z
format Journal article
id oxford-uuid:2256c572-c6e7-4986-b7b6-2be9f5ea1236
institution University of Oxford
last_indexed 2024-03-06T19:46:05Z
publishDate 2010
record_format dspace
spelling oxford-uuid:2256c572-c6e7-4986-b7b6-2be9f5ea12362022-03-26T11:38:20ZAbstraction for Concurrent ObjectsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:2256c572-c6e7-4986-b7b6-2be9f5ea1236Department of Computer Science2010Filipovic, 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