支持软件并行工程过程建模的一种形式化方法

• A Formal Method for Software Concurrent Engineering Process Modeling