Los puntos clave no están disponibles para este artículo en este momento.
We show how to specify components of concurrent systems. The specification of a system is the conjunction of its components' specifications. Properties of the system are proved by reasoning about its components. We consider both the decomposition of a given system into parts, and the composition of given parts to form a system.
Abadi et al. (Mon,) studied this question.