Proving atomicity: An assertional approach

G. Chockler, Nancy Lynch, Sayan Mitra, Joshua Tauber

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original language	English
Title of host publication	Proceedings of the 19th International Conference on Distributed Computing (DISC '05)
Pages	152-168
Number of pages	17
DOIs	https://doi.org/10.1007/11561927_13
Publication status	Published - 2005
Event	19th International Conference on Distributed Computing - Cracow, Poland Duration: 25 Sept 2005 → 28 Sept 2005

Conference	19th International Conference on Distributed Computing
Country/Territory	Poland
City	Cracow
Period	25/09/05 → 28/09/05

Access to Document

@inbook{a8b4183f04b840ff903fe93e51685525,

title = "Proving atomicity: An assertional approach",

author = "G. Chockler and Nancy Lynch and Sayan Mitra and Joshua Tauber",

year = "2005",

doi = "10.1007/11561927_13",

language = "English",

pages = "152--168",

booktitle = "Proceedings of the 19th International Conference on Distributed Computing (DISC '05)",

note = "19th International Conference on Distributed Computing ; Conference date: 25-09-2005 Through 28-09-2005",

}

TY - CHAP

T1 - Proving atomicity

T2 - 19th International Conference on Distributed Computing

AU - Chockler, G.

AU - Lynch, Nancy

AU - Mitra, Sayan

AU - Tauber, Joshua

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?scp=33646429468&partnerID=8YFLogxK

U2 - 10.1007/11561927_13

DO - 10.1007/11561927_13

M3 - Other contribution

AN - SCOPUS:33646429468

SP - 152

EP - 168

BT - Proceedings of the 19th International Conference on Distributed Computing (DISC '05)

Y2 - 25 September 2005 through 28 September 2005

ER -