论文部分内容阅读
<正> 1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性也小得多。函数被用来作为顺序计算的公共语义框架的基础。λ-演算就是一个著名的原型。一个顺序程序从语义上可以看作是一个从状态到状态的函数。例如顺序程序P1和P2: