Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Atomic Semantics of Nonatomic Programs \Lambda

Summary: Atomic Semantics of Nonatomic
Programs \Lambda
James H. Anderson Mohamed G. Gouda
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas 78712
December 1987
We argue that it is possible, and sometimes useful, to reason about
nonatomic programs within the conventional atomic model of concur­
1 Introduction
Most of the proof methods that have been proposed for reasoning about
concurrent programs are developed within the atomic model of concurrency
[Ho 72, LS 84, MP 84, OG 76]. This model is based on the assumption that
no two operations in a concurrent program are executed at the same time.
Hence, the resulting proof theory may seem inadequate for reasoning about
programs in which operations of different processes may overlap. In this
paper, we show to the contrary that it is possible to reason about such
programs within the atomic model of concurrency.


Source: Anderson, James - Department of Computer Science, University of North Carolina at Chapel Hill


Collections: Computer Technologies and Information Sciences