Title :
An experiment in the design of distributed programs
Author_Institution :
Sch. of Inf. Technol. & Electr. Eng., Queensland Univ., Australia
Abstract :
We describe an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs.
Keywords :
distributed programming; message passing; program verification; Gries theory; Owicki theory; distributed program design; message passing; Computer languages; Information technology; Logic programming; Message passing; Safety; Testing;
Conference_Titel :
Software Engineering Conference, 2004. Proceedings. 2004 Australian
Print_ISBN :
0-7695-2089-8
DOI :
10.1109/ASWEC.2004.1290459
