Publication
Distributed Computing
Paper

A state-based approach to communicating processes

View publication

Abstract

Communicating processes, which may exhibit nondeterministic behaviour, are specified as state-transition systems. Equivalence and refinement relations are defined in terms of the failures model of processes. Downward and upward simulation are considered as proof methods for refinement. Various operators on processes are defined and their refinement rules established. © 1988 Springer-Verlag.

Date

01 Mar 1988

Publication

Distributed Computing

Authors

Share