---
_id: '5747'
article_processing_charge: No
author:
- first_name: Cezara
  full_name: Dragoi, Cezara
  id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
  last_name: Dragoi
- first_name: Ashutosh
  full_name: Gupta, Ashutosh
  id: 335E5684-F248-11E8-B48F-1D18A9856A87
  last_name: Gupta
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent
    Objects with Cooperating Updates. In: <i>Computer Aided Verification</i>. Vol
    8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:<a
    href="https://doi.org/10.1007/978-3-642-39799-8_11">10.1007/978-3-642-39799-8_11</a>'
  apa: 'Dragoi, C., Gupta, A., &#38; Henzinger, T. A. (2013). Automatic Linearizability
    Proofs of Concurrent Objects with Cooperating Updates. In <i>Computer Aided Verification</i>
    (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-39799-8_11">https://doi.org/10.1007/978-3-642-39799-8_11</a>'
  chicago: 'Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability
    Proofs of Concurrent Objects with Cooperating Updates.” In <i>Computer Aided Verification</i>,
    8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. <a href="https://doi.org/10.1007/978-3-642-39799-8_11">https://doi.org/10.1007/978-3-642-39799-8_11</a>.'
  ieee: 'C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs
    of Concurrent Objects with Cooperating Updates,” in <i>Computer Aided Verification</i>,
    vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.'
  ista: 'Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of
    Concurrent Objects with Cooperating Updates. In: Computer Aided Verification.
    vol. 8044, 174–190.'
  mla: Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects
    with Cooperating Updates.” <i>Computer Aided Verification</i>, vol. 8044, Springer
    Berlin Heidelberg, 2013, pp. 174–90, doi:<a href="https://doi.org/10.1007/978-3-642-39799-8_11">10.1007/978-3-642-39799-8_11</a>.
  short: C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer
    Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
conference:
  end_date: 2013-07-19
  location: Saint Petersburg, Russia
  name: 'CAV: Computer Aided Verification'
  start_date: 2013-07-13
date_created: 2018-12-18T13:10:21Z
date_published: 2013-08-01T00:00:00Z
date_updated: 2025-07-10T11:52:57Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_11
ec_funded: 1
file:
- access_level: open_access
  checksum: a901cc6b71db08b61c0d4c0cbacc6287
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-18T13:13:33Z
  date_updated: 2020-07-14T12:47:10Z
  file_id: '5748'
  file_name: 2013_CAV_Dragoi.pdf
  file_size: 236480
  relation: main_file
file_date_updated: 2020-07-14T12:47:10Z
has_accepted_license: '1'
intvolume: '      8044'
language:
- iso: eng
month: '08'
oa: 1
oa_version: None
page: 174-190
place: Berlin, Heidelberg
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Computer Aided Verification
publication_identifier:
  eisbn:
  - '9783642397998'
  eissn:
  - 1611-3349
  isbn:
  - '9783642397981'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
pubrep_id: '195'
quality_controlled: '1'
scopus_import: '1'
series_title: CAV
status: public
title: Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...