×
蒙克·范·维尔登堡;米歇尔·雷尼尔斯。

具有一阶逻辑的结构操作语义。 （英语） 兹比尔1339.68161

Hennessy，Matthew（编辑）等人，《结构操作语义第五次研讨会论文集》（SOS 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第4期，85-106（2009）。
摘要：我们定义了一种以一阶逻辑公式为前提的结构操作语义（SOS）形式。结果表明，在大多数应用中（包括所有实际应用），这种形式主义与没有一阶逻辑的SOS具有相同的表达能力。此外，我们给出了（强）双相似性的同余格式。后者与ntyft/ntyxt格式密切相关。
关于整个系列，请参见[Zbl 1280.68026号].

引用于2文件

MSC公司：

68问题55 计算理论中的语义学
03B10号机组 经典一阶逻辑
03B70号 计算机科学中的逻辑
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

紧急求救信号;一阶逻辑;表现力;同余
PDF格式BibTeX公司 XML格式引用
\textit{M.van Weerdenburg}和\textit{M.A.Reniers}，电子。注释Theor。计算。科学。229，第4号，85-106（2009；Zbl 1339.68161）
全文： 内政部

参考文献：

[1] 丙酮，L。；福克金，W.J。；Verhoef，C.，《结构操作语义学》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001）），197-292，第3章·Zbl 1062.68074号
[2] 丙酮，L。；Hennessy，M.，《终止、僵局和分歧》，《ACM杂志》，39，147-187（1992）·Zbl 0799.68131号
[3] Baeten，J。；Bergstra，J.，Processen en processexpresses，Informatie，30，214-222（1988）
[4] Baeten，J。；Weijland，W.，《过程代数》，《剑桥理论计算机科学丛书》，18（1990），剑桥大学出版社·Zbl 0716.68002号
[5] Baeten，J.C.M。；Verhoef，C.，《结构化操作语义与谓词的同余定理》，（Best，E.，《第四届并行理论国际会议论文集》，第四届并发理论国际会议文献集，（CONCUR’93）。第四届并发理论国际会议论文集。第四届并发理论国际会议论文集，（CONCUR'93），计算机科学讲义，715（1993），477-492
[6] Bol，R.N。；Groote，J.F.，《过渡系统规范中否定前提的含义》，《ACM杂志》，43，863-914（1996）·Zbl 0889.68113号
[7] 福克金，W。；van Glabbeek，R.J.，Ntyft/ntyxt规则简化为entree规则，信息与计算，126，1-10（1996）·Zbl 0853.68124号
[8] Groote，J.F.，带负前提的转换系统规范，理论计算机科学，118263-299（1993）·Zbl 0778.68057号
[9] Groote，J.F。；Vaandrager，F.W.，结构化操作语义和互模拟作为同余，信息与计算，100202-260（1992）·Zbl 0752.68053号
[10] Kleene，S.C.，《论序数符号》，《符号逻辑杂志》，第3150-155页（1938年）·Zbl 0020.33803号
[11] Langholm，T.，《偏爱、真理和持久性》（1988），CSLI出版物·Zbl 0665.03024号
[12] Milner，R.，《通信系统微积分》，《计算机科学讲义》，92（1980），斯普林格出版社·Zbl 0452.68027号
[13] 穆萨维，M.R。；Reniers，M.A.，《具有通用量化的同余规则格式》，《理论计算机科学电子笔记》，192109-124（2007）·Zbl 1278.68144号
[14] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS格式和元理论：20年后》，《理论计算机科学》，373，238-272（2007）·Zbl 1111.68069号
[15] 穆萨维，M.R。；Sirjani，M。；Arbab，F.，《reo中组件连接器的形式语义和分析》，《理论计算机科学中的电子笔记》，154，83-99（2006）
[16] Park，D.，无限序列上的并发性和自动机，（Deussen，P.，《第五届GI会议论文集》，第五届GIS会议论文集，计算机科学讲义，104（1981），167-183·Zbl 0457.68049号
[17] Plotkin，G.D.，《结构操作语义的起源》，《逻辑与代数编程杂志》，60-61,3-15（2004）·Zbl 1072.68063号
[18] van de Pol，J.，《带优先级重写的操作语义》，《理论计算机科学》，200289-312（1998）·Zbl 0917.68141号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。