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].


68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68M10 Network design and communication in computer systems