loading...
An Experiment in the Design of Distributed Programs
Melbourne, Australia April 13-April 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2004.12904592004 Australian Software Engineering ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Doug Goldson, "An Experiment in the Design of Distributed Programs," Australian Software Engineering Conference, pp. 70, 2004 Australian Software Engineering Conference (ASWEC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASWEC.2004.1290459,
author = {Doug Goldson},
title = {An Experiment in the Design of Distributed Programs},
journal ={Australian Software Engineering Conference},
volume = {0},
year = {2004},
issn = {1530-0803},
pages = {70},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2004.1290459},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Australian Software Engineering Conference
TI - An Experiment in the Design of Distributed Programs
SN - 1530-0803
SP
EP
A1 - Doug Goldson,
PY - 2004
KW - null
VL - 0
JA - Australian Software Engineering Conference
ER -
 
Doug Goldson, University of Queensland, Australia
This paper describes 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.
Citation:
Doug Goldson, "An Experiment in the Design of Distributed Programs," aswec, pp.70, 2004 Australian Software Engineering Conference (ASWEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.