摘要
Composability is vital to the specification and verification of concurrent systems. This paper is devoted to the composability of XYZ / BE- communicating processes.We show that parallel composition processes preserve all of their components’ safety properties. In addition, some properties of trace equivalence are also exmined.
Composability is vital to the specification and verification of concurrent systems. This paper is devoted to the composability of XYZ / BE- communicating processes.We show that parallel composition processes preserve all of their components' safety properties. In addition, some properties of trace equivalence are also exmined.
