Kirousis, Lefteris M.; Veneris, Andreas G. Efficient algorithms for checking the atomicity of a run of read and write operations. (English) Zbl 0925.68169 Schiper, André (ed.), Distributed algorithms. 7th international workshop, WDAG ’93, Lausanne, Switzerland, September 27-29, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 725, 54-68 (1993). For the entire collection see [Zbl 0856.00040]. Cited in 1 Document MSC: 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) 68M10 Network design and communication in computer systems PDF BibTeX XML Cite \textit{L. M. Kirousis} and \textit{A. G. Veneris}, Lect. Notes Comput. Sci. 725, 54--68 (1993; Zbl 0925.68169) OpenURL