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 ...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.
