巴托克·克林；比塔·纳希 SOS规范的一些不确定属性。 （英语） Zbl 1359.68196号 J.日志。阿尔盖布。方法计划。 87, 94-109 (2017)。 概要：带有否定前提的SOS规范的几个属性被证明是不可判定的，这些属性通常用于定义规范的意义。这包括存在最少或唯一受支持或稳定的模型，以及规范完整性。 引用于4文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 68问题55 计算理论中的语义学 关键词：结构操作语义；否定前提；支持的模型；稳定模型；完成ntyft/ntyxt PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{B.Nachyła}，J.Log。阿尔盖布。方法计划。87、94-109（2017年；Zbl 1359.68196） 全文： 内政部 参考文献： [1] Plotkin，G.D.，《操作语义的结构方法》，J.Log。代数程序。，60-61, 17-139 (2004) ·Zbl 1082.68062号 [2] 丙酮，L。；福克金，W.J。；Verhoef，C.，《结构操作语义学》（Bergstra，J.A.；Ponse，A.；Smolka，S.，《过程代数手册》（2002），Elsevier），197-292·Zbl 1062.68074号 [3] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS格式和元理论：20年后》，Theor。计算。科学。，373, 238-272 (2007) ·兹比尔1111.68069 [4] Groote，J.F.，带负前提的过渡系统规范，Theor。计算。科学。，118, 2, 263-299 (1993) ·Zbl 0778.68057号 [5] van Glabbeek，R.J.，《过渡系统规范II中否定前提的含义》，J.Log。代数程序。，60-61, 229-258 (2004) ·Zbl 1072.68075号 [6] 布鲁姆，B。；Istrail，S。；Meyer，A.，无法追踪双刺激，J.ACM，42232-268（1995）·Zbl 0886.68027号 [7] 博尔·R。；Groote，J.F.，《过渡系统规范中否定前提的含义》，J.ACM，43，5，863-914（1996）·Zbl 0889.68113号 [8] Klin，B.，《结构操作语义的双代数：导论》，CMCS十周年会议。CMCS十周年纪念会议，Theor。计算。科学。，412, 38, 5043-5069 (2011) ·Zbl 1246.68150号 [9] Turi，D。；Plotkin，G.D.，《走向数学运算语义》（Proc.LICS’97（1997），IEEE计算机学会出版社），280-291 [10] 福克金，W。；van Glabbek，R.J.，Ntyft/ntyxt规则简化为ntree规则，Inf.Comput。，126, 1-10 (1996) ·Zbl 0853.68124号 [11] Fokkink，W.，有根分支互模拟作为同余，J.Compute。系统。科学。，60, 1, 13-37 (2000) ·Zbl 0955.68074号 [12] 穆萨维，M。；菲利普斯一世。；Reniers，医学硕士。；Ulidowski，I.，有序SOS的含义，（FSTTCS 2006年（2006年）公报），333-344·Zbl 1177.68140号 [13] 菲奥雷，M.P。；Staton，S.，名称传递过程计算的同余规则格式，Inf.Compute。，207, 2, 209-236 (2009) ·Zbl 1165.68050号 [14] Klin，B。；Nachyła，B.，SOS规范的分布律和可判定属性，Procs。EXPRESS/SOS 2014。程序。EXPRESS/SOS 2014，EPTCS，160，79-93（2014）·Zbl 1464.68191号 [15] Kozen，D.，《自动化与可计算性》（1997），施普林格·Zbl 0883.68055号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。