罗布·范·格拉贝克-带超时的进程代数的故障跟踪语义

lmcs:6157个-计算机科学中的逻辑方法,2021年4月23日,第17卷第2期-https://doi.org/10.23638/LMCS-17(2:11)2021年
带超时的进程代数的故障跟踪语义第条

作者:Rob van Glabbeek

    本文扩展了一个带有超时运算符的标准进程代数,从而增加其绝对表现力,同时保持在不计时过程代数的领域,从时间的进步不是量化。跟踪和故障等价性在这方面不一致操作员;它们的同余闭包的特征是故障跟踪等效性。


    资料来源:arXiv.org:2002.10814
    第17卷第2期
    发布日期:2021年4月23日
    验收日期:2021年4月9日
    提交日期:2020年2月26日
    关键词:计算机科学-计算机科学中的逻辑,F.1.2,F.3.2

    1引用本文的文件

    咨询统计

    这个页面已经被浏览了1167次。
    本文的PDF已下载212次。