摘要： <正> In this paper they deal with the issue of specification and design of parallel communicating processes. A trace-state based model is introduced to describe the behaviour of concurrent programs. They present a formal system based on that model to achieve hierarchical and modular development and verification methods. A number of refinement rules are used to decompose the specification into smaller ones and calculate program from the specification

Abstract: In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe specification

中图分类号: 

• TP311.52