On concurrent programming
On a method of multiprogramming
On a method of multiprogramming
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Introduction to Distributed Algorithms
Introduction to Distributed Algorithms
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
A Discipline of Programming
Multiprogram design in the theory of Owicki and Gries
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
| Hi-index | 0.00 |
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivation is carried out in the theory of Owicki and Gries. The paper therefore illustrates the use of this theory for the derivation, as opposed merely to the verification, of distributed multiprograms. Notable is that the derivation, while calculational in style, is carried out with a minimum of formal machinery, e.g., there is no temporal logic. The derivation also serves as a concrete illustration of program reuse. A theory that is based on a shared variable model of communication is shown to manage the design of distributed multiprograms quite well.