An Experiment in the Design of Distributed Programs

Doug Goldson

doi:10.1109/ASWEC.2004.1290459

Proceedings. 2004 Australian Software Engineering Conference

An Experiment in the Design of Distributed Programs

Year: 2004, Pages: 70

DOI Bookmark: 10.1109/ASWEC.2004.1290459

Authors

Doug Goldson, University of Queensland, Australia

Abstract

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.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

Derivation of Java Monitors
Software Engineering Conference, Australian
Grid-Enabled Distributed Structural Engineering Experiment Management
The Third ChinaGrid Annual Conference (chinagrid 2008)
Debugging dynamic distributed programs using global predicates
Parallel and Distributed Processing, IEEE Symposium on
Completeness of the Owicki-Gries System for Parameterized Parallel Programs
Parallel and Distributed Processing Symposium, International
Extended group communication algorithm for updating distributed programs
Parallel and Distributed Systems, International Conference on
Design Patterns in Software Maintenance: An Experiment Replication at Freie Universität Berlin
Replication in Empirical Software Engineering Research, International Workshop on
Dependence-Based Complexity Metwircs for Distributed Programs
1993 International Conference on Parallel Processing - ICPP'93 Vol2
Portability experiment for CTRON communication control (transport layer and session layer)
1992 The Ninth TRON Project Symposium
An Application of a Method for Analysis of Cyclic Prog rams
IEEE Transactions on Software Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge & Data Engineering

An Experiment in the Design of Distributed Programs

Authors

Abstract

Related Articles