An experiment in the design of distributed programs
| Contribuinte(s) |
P. Strooper |
|---|---|
| Data(s) |
01/01/2004
|
| Resumo |
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. |
| Identificador | |
| Publicador |
IEEE Computer Society |
| Palavras-Chave | #E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
| Tipo |
Conference Paper |
