An Approach to the Specification of Distributed Software

In this paper we first characterize distributed systems. Next we survey recently proposed programming constructs designed to facilitate communication amongst software elements of a distributed system. We then give the basis of a methodology for the formal specification of distributed systems, and follow with an example to clarify the technique. We close with a discussion of necessary extensions to the methodology and a review of the objectives of specification.