托马斯·希尔德布兰特。 有限延迟SCCS的完全抽象预处理语义。 （英语） Zbl 0967.68104号 Hofmann，Martin（编辑）等人，CTCS’99。类别理论和计算机科学会议，爱丁堡，英国，1999年9月10日至12日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。29，25 p.，仅电子版（1999年）。 摘要：我们提出了一个用于观察无限计算和有限计算的预处理模型。我们应用它给出了有限延迟SCCS的指称语义，其中递归的意义由最终余代数给出，有限延迟的意义由延迟过程方程的初始代数给出。这可以被视为在预处理语义中表示公平性的第一步。我们给出了预处理模型作为一类广义同步树的具体表示，并证明了它在一类广义转移系统中是互反映的，这是Hennessy和Stirling广义转移系统的特例。开放映射互模拟与Hennessy和Stirling的扩展互模拟一致。最后，我们根据广义转换系统，建立了具有有限延迟的SCCS的Milners操作语义，并证明了预学习语义对于扩展的互模拟是完全抽象的。关于整个系列，请参见[Zbl 0942.00057号]. 引用于2文件 MSC公司： 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：预切模型;前置语义 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Hildebrandt}，收录于：CTCS'99。类别理论与计算机科学会议，爱丁堡，英国，1999年9月10日至12日。阿姆斯特丹：爱思唯尔。第25页（1999年；兹bl 0967.68104）