克里斯·弗霍夫 带谓词和负前提的结构化操作语义的同余定理。 （英语） Zbl 0839.68060号 Nord.J.计算。 第2期，第274-302页（1995年）. 摘要：我们为结构化操作语义提出了一种语法格式，即panth格式，其中除了普通转换外，还可能出现谓词、否定谓词和否定转换，因此如果规则是可分层的，强互模拟等价是可以在panth格式中定义的所有算子的同余。为了证明这种格式是有用的，我们从满足panth格式但没有其他人提出的格式的文献中选取了一些例子。这些例子涉及诸如优先级、终止、收敛、离散时间、递归、（无限）Hennessy-Milner逻辑和通用量化等问题。 引用于35文件 MSC公司： 68问题55 计算理论中的语义学 关键词：panth格式；结构化操作语义 PDF格式BibTeX公司 XML格式引用 \textit｛C.Verhoef｝，北J.计算机。2，第2号，274--302（1995；Zbl 0839.68060）