DocumentCode
2870530
Title
An experiment in the design of distributed programs
Author
Goldson, Doug
Author_Institution
Sch. of Inf. Technol. & Electr. Eng., Queensland Univ., Australia
fYear
2004
fDate
2004
Firstpage
70
Lastpage
76
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2004. Proceedings. 2004 Australian
Print_ISBN
0-7695-2089-8
Type
conf
DOI
10.1109/ASWEC.2004.1290459
Filename
1290459
Link To Document