… property is required, namely atomicity. Atomic methods can be as… and verifying the atomicity
of methods in multithreaded Java … The type checker uncovered subtle atomicity violations in …

… We propose that a stronger non-interference property is required, namely the atomicity of
code blocks, and we present a type system for specifying and verifying such atomicity properties…

… It then brie~ y surveys some major types of electronic commerce pointing out Jaws in
atomicity. We pay special attention to the atomicity problems of proposals for digital cash. The …

Atomicity is an important generic specification that assures that a programmer can pretend
blocks occur sequentially in any execution. We define a notion of atomicity based on causality…

… In this article, we deal with the problem of atomicity and isolation in the context of processes.
We propose a unified model for concurrency control and recovery for processes and show …

… make incorrect assumptions about atomicity and fail to enclose … This provides what we call
implicit atomicity, as the atomic … implicit atomicity probabilistically hides atomicity violations by …

… for detecting atomicity vi… atomicity checker detects errors that would be missed by standard
race detectors, and it produces fewer false alarms on benign races that do not cause atomicity …

… the terms strong atomicity and weak atomicity to describe the … under weak atomicity can
deadlock under strong atomicity, … of atomicity scope for transactional systems: strong atomicity …

… on the noninterference property of atomicity. A procedure is … Several existing tools verify
atomicity by using commutativity … blocks to verify the atomicity of such irreducible procedures. If a …

… This formula suggests that the atomicity of electricity may be interpreted as a quantum theory
law. In fact, if the five-dimensional space is assumed to be closed in the direction of x0 with …