Proving atomicity : An assertional approach. / Chockler, G.; Lynch, Nancy; Mitra, Sayan; Tauber, Joshua.

Proceedings of the 19th International Conference on Distributed Computing (DISC '05). 2005. p. 152-168.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Published
Original languageEnglish
Title of host publicationProceedings of the 19th International Conference on Distributed Computing (DISC '05)
Pages152-168
Number of pages17
DOIs
Publication statusPublished - 2005
Event19th International Conference on Distributed Computing - Cracow, Poland
Duration: 25 Sep 200528 Sep 2005

Conference

Conference19th International Conference on Distributed Computing
CountryPoland
CityCracow
Period25/09/0528/09/05
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 10766606