安蒂·瓦尔马里 熟悉运算符的所有线性时间同余。 （英语） Zbl 1314.68201号 日志。方法计算。科学。 9，第4号，第11号论文，34页（2013）. 摘要：系统的详细行为通常表示为标记转换系统（LTS），抽象行为表示为结巴不敏感的语义同余。文献中有许多相同之处。另一方面，还没有太多结果证明缺乏更多的同余。本出版物从动作前缀、隐藏、关系重命名和并行合成等方面全面分析了线性时间（在明确定义的意义上）区域。它包含40个全等。它们由字母表、两种轨迹、两种发散轨迹、五种故障和四种无限轨迹构成。在有限LTS的情况下，无限迹失去了作用，同余数下降到20。该出版物集中讨论了结果中最困难、最新颖的部分，即证明缺乏更多的一致性。 引用于2评论引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：进程代数；语义学；成分性；验证 软件：LOTOS公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，日志。方法计算。科学。9，第4号，第11号论文，34页（2013；Zbl 1314.68201） 全文： 内政部 arXiv公司