Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates

التفاصيل البيبلوغرافية
العنوان:	Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
المؤلفون:	Drăgoi, Cezara^Aff18, Gupta, Ashutosh^Aff18, Henzinger, Thomas A.^Aff18
المساهمون:	Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Sharygina, Natasha, editor^Aff16, Veith, Helmut, editor^Aff17
المصدر:	Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. 8044:174-190
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783642397981 9783642397998
DOI:	10.1007/978-3-642-39799-8_11