View article

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.