交互式马尔可夫链-并发系统的设计验证与评价

Concurrency includes parallel and distribution.进程代数成为了当今复杂系数形式刻画与分析的主要工具,比较著名的有:CCS(calculus of comm