并发程序性质的时序分析

不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列