穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 有序SOS的含义。 (英语) Zbl 1177.68140号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,333-344(2006)。 摘要:结构化操作语义(SOS)是一种通过演绎规则定义语义的流行方法。演绎规则或简单的SOS规则的一个重要特征是否定前提,这对于定义优先机制和超时等现象至关重要。Phillips和Ulidowski提出了SOS规则的排序,作为否定前提的替代方案。到目前为止,还没有研究具有排序的SOS规则的一般类型的含义。本文提出了一种令人满意的方法来赋予具有排序的一般SOS规则以意义。我们还给出了两种范式之间的语义保持转换,即具有负前提的SOS和具有排序的SOS。关于整个系列,请参见[Zbl 1132.68001号]. 引用于2文件 MSC公司: 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,Lect。注释计算。科学。4337、333--344(2006年;Zbl 1177.68140) 全文: 内政部