Electronic Resource
Springer
Distributed computing
1 (1986), S. 77-85
ISSN:
1432-0452
Keywords:
Concurrent reading and writing
;
Nonatomic operations
;
Shared data
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract A formalism for specifying and reasoning about concurrent systems is described. Unlike more conventional formalisms, it is not based upon atomic actions. A definition of what it means for one system to implement a higher-level system is given and justified. In Part II, the formalism is used to specify several classes of interprocess communication mechanisms and to prove the correctness of algorithms for implementing them.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01786227
Permalink
|
Location |
Call Number |
Expected |
Availability |