Sound reasoning in tock-CSP
Sound reasoning in tock-CSP
复制标题
tock-CSP 中的合理推理
作者：
Baxter J
登录
查看更多内容
用于可配置性能关键通信接口的验证设计框架
DOI：
--
发表时间：
2011
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
S. Kharmeh;K. Eder;D. May
通讯作者：
D. May
优先CSP的表现力
DOI：
10.1016/j.entcs.2015.12.023
发表时间：
2015
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. W. Roscoe
通讯作者：
A. W. Roscoe
论不合时宜但有正当理由
DOI：
--
发表时间：
1993
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
L. Aceto;David Murphy
通讯作者：
David Murphy
定时系统的过程代数
影响因子：
1
作者：
M. Hennessy;Tim Regan
通讯作者：
Tim Regan
铁路安全和线路容量 - 定时 CSP 的一种方法
影响因子：
6.8
作者：
Yoshinao Isobe;F. Moller;N. H. Nga;M. Roggenbach
通讯作者：
M. Roggenbach