Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Atomic Semantics of Nonatomic James H. Anderson Mohamed G. Gouda
 

Summary: Atomic Semantics of Nonatomic
Programs
James H. Anderson Mohamed G. Gouda
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas 78712
December 1987
Abstract
We argue that it is possible, and sometimes useful, to reason about
nonatomic programs within the conventional atomic model of concur-
rency.
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 di erent 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