μ-演算NP∩co-NP问题相关硕士博士期刊学术论文

在并发系统中，多个任务同时执行。对并发系统的理论研究，主要有进程代数、模态逻辑等。其中最有代表性的是Robin Milner提出的CCS进......