界程演算论文

界程演算模型检测
论文摘要在并发系统中，多个任务同时执行。对并发系统的理论研究，主要有进程代数、模态逻辑等。其中最有代表性的是RobinMilner提出的CCS进程演算理论及其变种，包括Pure...