Reactive Systems: Modelling, Specification and Verification

【文件属性】：

文件名称：Reactive Systems: Modelling, Specification and Verification

文件大小：1.54MB

文件格式：PDF

更新时间：2017-05-19 22:45:12

进程 并发系统

reactive system 有进程并发理论，CCS系统，互模拟，Hennessy-Milner的理论