摘要：在标准过程代数中引入超时算子，从而增加其绝对表达能力，同时仍然保持在非定时过程代数的范畴内，即时间的进展没有量化。跟踪和故障等价性不满足这个算子的合同性；它们的合同闭包被定义为故障跟踪等价性。
作者：Rob van Glabbeek
论文ID：2002.10814
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中