2.5 进程外部的并行行为模型

2.5.5 结构、行为的混合描述