On describing the behavior and implementation of distributed systems

https://doi.org/10.1016/0304-3975(81)90109-2Get rights and content
Under an Elsevier user license
open archive

Abstract

A simple, basic and general model for describing both the (input/output) behavior and the implementation of distributed systems is presented. An important feature is the separation of the machinery used to describe the implementation and the behavior. This feature makes the model potentially useful for design specification of systems and of subsystems. The model's primitivity and generality make it a suitable basis for cost comparison of distributed system implementations.

Cited by (0)

This research was supported in part by the National Science Foundation under grants MCS77-02474, MCS77-15628, MCS78-01689 and by U.S. Army Research Office Contract Number DAAG29-79C-0155.