Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates

Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.

Download
OA 2013_CAV_Dragoi.pdf 236.48 KB

DOI
10.1007/978-3-642-39799-8_11
Book Chapter | Published | English

Scopus indexed
View fulltext
Author
Dragoi, CezaraISTA; Gupta, AshutoshISTA; Henzinger, Thomas AISTA
Department
Henzinger_Thomas Group
Grant
Quantitative Reactive Modeling
Rigorous Systems Engineering
Publishing Year
2013
Date Published
2013-01-01
Book Title
Computer Aided Verification
Volume
8044
Page
174-190
Conference
CAV 2013
Conference Location
Saint Petersburg, Russia
Conference Date
2013-07-13 – 2013-07-19
ISBN
9783642397981, 9783642397998
ISSN
0302-9743
eISSN
1611-3349
IST-REx-ID
5747

Cite this

Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Main File(s)
File Name
2013_CAV_Dragoi.pdf 236.48 KB
Access Level
OA Open Access
Date Uploaded
2018-12-18
MD5 Checksum
a901cc6b71db08b61c0d4c0cbacc6287


Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar
ISBN Search