A criterion for atomicity

  title={A criterion for atomicity},
  author={James H. Anderson and Mohamed G. Gouda},
  journal={Formal Aspects of Computing},
Most proof methods for reasoning about concurrent programs are based upon theinterleaving semantics of concurrent computation: a concurrent program is executed in a stepwise fashion, with only one enabled action being executed at each step. Interleaving semantics, in effect, requires that a concurrent program be executed as a nondeterministic sequential program. This is clearly an abstraction of the way in which concurrent programs are actually executed. To ensure that this is a reasonable… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS
13 Citations
40 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 40 references

Atomicity of Concurrent Programs

  • J. Anderson
  • Ph.D. Dissertation, Department of Computer…
  • 1990
Highly Influential
6 Excerpts

Pure Bu ers for Concurrent Reading While Writing," Techni- cal Report GIT-ICS-87/17, School of Information and Computer Science, Georgia

  • J. Burns, G. Peterson
  • 1987
Highly Influential
5 Excerpts

Interprocess Communication, Parts I and II,

  • L. Lamport, On
  • Distributed Computing ,
  • 1986
Highly Influential
7 Excerpts

Axiomatic Proof Technique for Parallel Programs I,

  • S. Owicki, D. Gries, An
  • Acta Infor- matica,
  • 1976
Highly Influential
17 Excerpts

Composite Registers,

  • J. Anderson
  • Proceedings of the Ninth Annual Symposium on…
  • 1990
Highly Influential
4 Excerpts

Multiple-Writer Composite Registers,

  • J. Anderson
  • Technical Report TR.89.26,
  • 1989
Highly Influential
4 Excerpts

Pseudo ReadModifyWrite Operations : Bounded WaitFree Implementations

  • J. Anderson
  • Proceedings of the Fifth International Workshop…
  • 1992

Similar Papers

Loading similar papers…