A Formal Method for Software Concurrent Engineering Process Modeling

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