修饰迹语义的预同余
Precongruence Formats for Decorated Trace Semantics
摘要：
本文探讨了语义等价和前序的具体顺序过程之间的连接，通过标记的过渡系统，和格式的过渡系统规格使用Plotkin的结构方法。对于线性时间分支时间谱中的几个前序，给出了一个尽可能一般的格式，使得这个前序是所有可在该格式中指定的算子的前同余。的格式推导出使用相应的前序的模态特征。
英文摘要：
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats of transition system specifications using Plotkin's structural approach. For several preorders in the linear time - branching time spectrum a format is given, as general as possible, such that this preorder is a precongruence for all operators specifiable in that format. The formats are derived using the modal characterizations of the corresponding preorders.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
