分支时间等价关系相关硕士博士期刊学术论文

交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC......