2.5 进程外部的并行行为模型
2.5.3 行为模型的执行过程
4. 实例
1位计数器（图2.19）