穆罕默德·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;Jan Friso，格鲁特 SOS格式和元理论：20年后。 （英文） Zbl 1111.68069号 西奥。计算。科学。 373，第3号，238-272（2007）. 摘要：1981年，结构化操作语义（SOS）被引入，作为通过一组特定形状的规则定义编程语言操作语义的系统方法[G.D.普洛金《操作语义的结构方法》，《DAIMI FN-19技术报告》，丹麦奥胡斯奥胡斯大学计算机科学系（1981年）]。随后，SOS规则的格式成为研究对象。使用所谓的转换系统规范（TSS），几位作者在语法上限制了规则的格式，并显示了关于任何遵循该格式的TSS所诱导的语义的一些有用属性。这导致了一系列研究，提出了几种语法规则格式和相关的元理论。这些规则格式所保证的属性包括从操作语义的精细性和行为等价的组合性到与安全、时间和概率相关的问题。在本文中，我们概述了SOS规则格式和围绕它们制定的元理论。 引用于33文件 MSC公司： 68问题55 计算理论中的语义学 关键词：形式语义学;结构操作语义;规则格式;框架 软件：半人马座;莫德;qGCL公司;莱索斯;落叶松;米兰达 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人，Theor。计算。科学。373，第3号，238--272（2007；Zbl 1111.68069） 全文： 内政部 参考文献： [1] Abramsky，S.，《Lazy（lambda）-演算》（Turner，D.A.，《函数编程研究课题》（1990），Addison-Wesley），第65-116页 [2] Aceto，L.，为一类生成规则行为的GSOS语言推导完整推理系统，（Jonsson，B.；Parrow，J.，《第五届并发理论国际会议论文集》，第五届国际并发理论会议论文集，CONCUR’94。第五届并行理论国际会议论文集。第五届并行理论国际会议论文集，CONCUR’94，LNCS，第836卷（1994），Springer），449-464 [3] 丙酮，L。；布鲁姆，B。；Vaandrager，F.W.，《将SOS规则转化为方程式，信息与计算》，111，1-52（1994）·Zbl 0822.68059号 [4] 丙酮，L。；Ingólfsdóttir，A.，GSOS语言的CPO模型——第一部分：紧凑GSOS语言、信息和计算，129，2，107-141（1994）·Zbl 1096.68623号 [5] 丙酮，L。；福克金，W.J。；Verhoef，C.，《结构操作语义学》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier），197-292，（第3章）·Zbl 1062.68074号 [6] Astesiano，E.A。；Giovini，A。；Reggio，G.，关系规范中的广义互模拟，（Cori，R.；Wirsing，M.，《第五届计算机科学理论方面年度研讨会论文集》，STACS’88。第五届计算机科学理论方面年度研讨会论文集。第五届计算机科学理论方面年度研讨会论文集，STACS’88，LNCS，第294卷（1988），Springer），207-226·Zbl 0674.68050号 [7] Baeten，J.C.M。；Bergstra，J.A.，Processen en processexpresses，Informatie，30，3，214-222（1988） [8] Baeten，J.C.M。；Bergstra，J.A.，实时过程代数，计算的形式方面，3142-188（1991）·Zbl 0719.68020号 [9] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《进程代数中中断机制的语法和定义方程》，《信息学基础》，IX，127-168（1986）·Zbl 0617.68027号 [10] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《利用进程代数验证交替位协议》，（Bibel，W.；Jantke，K.P.，《软件系统规范和综合的数学模型学报》，1985年。1985年软件系统规范和综合数学模型学报，LNCS，第215卷（1986），Springer），9-23·Zbl 0595.68024号 [11] J.C.M.Baeten，J.A.Bergstra，J.L.M.Vrancken，Processen en procesexpresses，技术报告P8705，阿姆斯特丹大学，1987年；J.C.M.Baeten、J.A.Bergstra、J.L.M.Vrancken，《印刷工艺》，技术报告P8705，阿姆斯特丹大学，1987年 [12] Baeten，J.C.M。；van Glabbek，R.J.，过程代数中的合并和终止，（Nori，K.V.，第七届软件技术和理论计算机科学基础会议论文集。第七届软件技术和理论计算机科学基础会议论文集，FSTTCS’87。第七届软件技术与理论计算机科学基础会议论文集。第七届软件技术和理论计算机科学基础会议论文集，FSTTCS’87，LNCS，第287卷（1987），Springer），153-172·Zbl 0636.68024号 [13] Baeten，J.C.M。；Middelburg，C.A.，（《带时序的过程代数》，《带时序过程代数》（EATCS专著，2002年），斯普林格出版社）·Zbl 1021.68063号 [14] Baeten，J.C.M。；Verhoef，C.，《结构化操作语义与谓词的同余定理》，（Best，E.，《第四届并发理论国际会议论文集》，第四届国际并发理论会议论文集，CONCUR’93。第四届并行理论国际会议论文集。第四届并行理论国际会议论文集，CONCUR’93，LNCS，第715卷（1993），Springer），477-492 [15] Baeten，J.C.M。；de Vink，E.P.，带终止的公理化GSOS，《逻辑与代数编程杂志》，60-61323-351（2004）·Zbl 1072.68058号 [16] Baeten，J.C.M。；Weijland，W.P.，（过程代数，过程代数，剑桥理论计算机科学丛书，第18卷（1990），剑桥大学出版社）·Zbl 0716.68002号 [17] 巴特尔斯，F。；Sokolova，A。；de Vink，E.P.，概率系统类型的层次结构，理论计算机科学，327，1-2，3-22（2004）·Zbl 1071.68071号 [18] Bartels，F.，概率转移系统的GSOS，（第五届计算机科学中的协代数方法国际研讨会论文集。第五届国际计算机科学中协代数方法研讨会论文集，CMCS’02。第五届计算机科学协同代数方法国际研讨会论文集。第五届计算机科学协代数方法国际研讨会论文集，CMCS’02，ENTCS，第65卷（2002），Elsevier），1-25·Zbl 1270.68204号 [19] Bergstra，J.A。；Klop，J.W.，《同步通信的进程代数，信息与控制》，60，1-3，109-137（1984）·Zbl 0597.68027号 [20] Bernstein，K.L.，高阶语言结构化操作语义的同余定理，（第13届IEEE计算机科学中的逻辑研讨会论文集。第13届EEE计算机科学中逻辑研讨会论文集中，LICS’98（1998），IEEE CS），153-164 [21] Berry，G。；Boudol，G.，《化学抽象机》，理论计算机科学，96，1，217-248（1992）·Zbl 0747.68013号 [22] Bloom，B.，《弱互模拟的结构操作语义》，《理论计算机科学》，146，25-68（1995）·Zbl 0873.68130号 [23] 布鲁姆，B。；福克金，W.J。；van Glabbeek，R.J.，修饰跟踪语义的前同余格式，ACM计算逻辑事务，5，1，26-78（2004）·Zbl 1367.68209号 [24] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，《美国医学杂志》，第42期，第123-268页（1995年）·Zbl 0886.68027号 [25] Bol，R.N。；Groote，J.F.，《过渡系统规范中否定前提的含义》，《ACM杂志》，43，5，863-914（1996）·Zbl 0889.68113号 [26] 博拉斯，P。；Clément，D。；Despeyroux，T。；Incerpi，J。；Kahn，G。；B.朗。；Pascual，V.，CENTAUR:系统，SIGPLAN通知，24，2，14-24（1988） [27] Boudol，G.，《面向并发和通信系统的lambda演算》，（Díaz，J.；Orejas，F.，软件开发理论与实践国际联席会议论文集。软件开发理论与实践国际联席会议论文集，TAPSOFT’89。软件开发理论与实践国际联合会议论文集。软件开发理论与实践国际联合会议论文集，TAPSOFT’89，LNCS，第351卷（1989），Springer），149-161 [28] 布多尔，G。；罗伊，V。；德西蒙，R。；Vergamini，D.，《从理论到实践的过程计算：验证工具》（Process-calculi from theory to practice:Verification tools），（《有限状态系统自动验证方法研讨会论文集》，LNCS，第407卷（1989），Springer），1-10 [29] C.de O.Braga，《重写逻辑作为模块化结构操作语义的语义框架》，博士论文，巴西里约热内卢蓬蒂菲西亚大学信息部，http://www.ic.uffbr/cbraga；C.de O.Braga，《重写逻辑作为模块化结构操作语义的语义框架》，博士论文，巴西里约热内卢蓬蒂菲西亚大学信息部，http://www.ic.uffbr/卡布拉加 [30] 布拉加，C.de O。；Haeusler，E.H。；梅塞盖尔，J。；Mosses，P.D.，将模块化SOS映射到重写逻辑，（Leuschel，M.，《第十二届基于逻辑的程序合成和转换国际研讨会论文集》，第十二届逻辑型程序合成和变换国际研讨会论文集中，LOPSTR'02。第十二届基于逻辑的程序合成与转换国际研讨会论文集。第十二届基于逻辑的程序合成和转换国际研讨会论文集，LOPSTR'02，LNCS，第2664卷（2002），Springer），262-277·Zbl 1278.68166号 [31] 布拉加，C.de O。；Haeusler，E.H。；梅塞盖尔，J。；Mosses，P.D.，Maude action tool:Using reflection to map action semantics to rewriting logic，（Rus，T.，Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology，第八届国际代数方法与软件技术会议论文集，AMAST’00）。第八届代数方法论和软件技术国际会议论文集。《第八届代数方法论和软件技术国际会议论文集》，AMAST’00，LNCS，第1816卷（2000），Springer），407-421·Zbl 0983.68519号 [32] C.de O.Braga、A.Verdejo，《模块化SOS与战略》。in：R.J.van Glabbeek，P.D.Mosses（编辑），《第三届结构操作语义学研讨会论文集》，SOS’06，in：《计算机科学电子笔记》，Elsevier，2006年（出版中）；C.de O.Braga、A.Verdejo，《模块化SOS与战略》。in：R.J.van Glabbeek，P.D.Mosses（编辑），《第三届结构操作语义学研讨会论文集》，SOS’06，in：《计算机科学电子笔记》，Elsevier，2006（出版中） [33] van den Brand，M。；海林，J。；Klint，P。；Olivier，P.A.，《编译语言定义：ASF+SDF编译器》，《ACM编程语言和系统事务》，24，4，334-368（2002） [34] Buth，K.-H.，《在术语重写证明中使用SOS定义》（Martin，U.；Wing，J.M.，《落叶松第一届国际研讨会论文集》，《计算机研讨会论文集（1994）》，Springer），第36-54页 [35] Buth，K.-H.，《用术语重写系统模拟SOS定义》，（Sannella，D.，第五届欧洲编程语言与系统研讨会论文集。第五届欧洲编程语言与系统研讨会会议记录。第五届欧洲编程语言与系统研讨会论文集，ESOP’94，LNCS，第788卷（1994），Springer），150-164 [36] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，The Maude 2.0系统，（Nieuwenhuis，R.，《第14届国际重写技术与应用会议论文集》，《第十四届国际重写技巧与应用会议文献集》，RTA’03。第十四届改写技术与应用国际会议论文集。第14届重写技术与应用国际会议论文集，RTA'03，LNCS，第2706卷（2003年），施普林格），76-87·兹比尔1038.68559 [37] 克里维兰，R。；马德琳，E。；Sims，S.，验证工具的前端生成器，（第一届系统构建和分析工具和算法国际研讨会论文集。第一届系统构造和分析工具与算法国际研讨会文献集，TACAS’95。第一届系统构建与分析工具与算法国际研讨会论文集。第一届系统构建和分析工具和算法国际研讨会论文集，TACAS’95，LNCS，第1019卷（1995），Springer），153-173 [38] 克里维兰，R。；帕罗，J。；Steffen，B.，《并发工作台：用于验证并发系统的基于语义的工具》，《编程语言和系统的ACM事务》，15，1，36-72（1993） [39] Corradini，A。；赫克尔，R。；Montanari，U.，《合成SOS及其以外：开放系统的联合观点》，《理论计算机科学》，280，1-2，163-192（2002）·Zbl 1014.68107号 [40] Danos，V。；Laneve，C.，形式分子生物学，理论计算机科学，325，1，69-110（2004）·Zbl 1071.68041号 [41] R.de Simone，Calculabilitéet expressivitédans l’algèbre de processus parallyèles Meije，《计算与表达》（3 ^e）；R.de Simone，Calculabilitéet expressivitédans l’algèbre de processus parallyèles Meije，《计算与表达》，（3^e） [42] de Simone，R.，MEIJE-SCCS中的高级同步装置，理论计算机科学，37245-267（1985）·Zbl 0598.68027号 [43] Degano，P。；Gadducci，F。；Priami，C.，《通过重写逻辑实现CCS的因果语义》，《理论计算机科学》，275，1-2，259-282（2002）·Zbl 1026.68075号 [44] Degano，P。；Priami，C.，《增强的操作语义：描述和分析并发系统的工具》，ACM Computing Surveys，33，2，135-176（2001） [45] 菲奥雷，M.P。；Staton，S.，《数学操作语义学中命名过程计算的同余规则格式》，（第21届计算机科学逻辑研讨会论文集。第21届计算科学逻辑研讨会文献集，LICS’06（2006），IEEE CS），49-58 [46] Fokkink，W.J.，《tyft/tyxt格式简化为树规则》，（Hagiya，M.；Mitchell，J.C.，《计算机软件理论方面专题讨论会论文集》，STACS’94。计算机软件理论方面研讨会论文集。计算机软件理论方面研讨会论文集，STACS’94，LNCS，第789卷（1994），Springer），440-453·Zbl 0942.68620号 [47] Fokkink，W.J.，根分支互模拟作为同余，《计算机与系统科学杂志》，60，1，13-37（2000）·Zbl 0955.68074号 [48] 福克金，W.J。；van Glabbeek，R.J.，Ntyft/ntyxt规则简化为entree规则，信息与计算，126，1，1-10（1996）·Zbl 0853.68124号 [49] 福克金，W.J。；van Glabbeek，R.J。；de Wind，P.，《基于结构操作语义的轩尼诗-米尔纳逻辑合成》，《理论计算机科学》，354，3，421-440（2006）·Zbl 1088.68094号 [50] 福克金，W.J。；van Glabbeek，R.J。；de Wind，P.，Divide and conconumence applied to eta-bisimulation，（Mosses，P.D.；Ulidowski，I.，《结构操作语义学第二次研讨会论文集》，第二次结构操作语意学研讨会论文集，SOS 2005。结构操作语义学第二次研讨会论文集。结构操作语义第二次研讨会论文集，SOS 2005，ENTCS，第156（1）卷（2005），Elsevier），97-113·Zbl 1273.68257号 [51] 福克金，W.J。；Verhoef，C.，《保守地看待变量绑定的操作语义》，《信息与计算》，146，1，24-54（1998）·Zbl 0916.68098号 [52] 福克金，W.J。；Vu，T.D.，《结构操作语义和有界不确定性》，《信息学报》，39，6-7，501-516（2003）·Zbl 1060.68070号 [53] Gabbay，M.J。；Pitts，A.M.，《涉及装订的抽象语法的新方法》，（第14届计算机科学中逻辑年度研讨会论文集。第14届计算科学中逻辑年会论文集，LICS’99（1999），IEEE CS），214-224 [54] Galpin，V.，《语义等价比较的一种格式》，《理论计算机科学》，309，1-3，65-109（2003）·Zbl 1070.68082号 [55] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.A.；Bowen，K.A.，《第五届逻辑编程国际会议论文集》，第五届国际逻辑编程会议论文集，ICLP’88（1988），麻省理工学院出版社，1070-1080 [56] van Glabbeek，R.J.，《过程代数中的有界不确定性和近似归纳原理》，（Brandenburg，F.-J.；Vidal-Naquet，G.；Wirsing，M.，《第四届计算机科学理论方面年度研讨会论文集》，STACS’87。第四届计算机科学理论方面年度研讨会论文集。第四届计算机科学理论方面年度研讨会论文集，STACS’87，LNCS，第247卷（1987），施普林格），336-347·兹比尔0612.68025 [57] van Glabbek，R.J.，线性时间分支时间谱II，（Best，E.，第四届并发理论国际会议论文集。第四届并发理论国际会议论文集，CONCUR'93。第四届并行理论国际会议论文集。第四届并行理论国际会议论文集，CONCUR’93，LNCS，第715卷（1993），Springer），66-81 [58] van Glabbeek，R.J.，《结构操作语义的完全抽象（扩展抽象）》，（Nivat，M.；Rattray，C.；Rus，T。；Scollo，G.，《第三届代数方法论和软件技术国际会议论文集》。第三届代数方法论和软件技术国际会议论文集，AMAST’93（1993），Springer），75-82 [59] van Glabbeek，R.J.，《线性时间分支时间谱I》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier），3-100，（第1章）·兹比尔1035.68073 [60] van Glabbeek，R.J.，《转换系统规范II中负前提的含义》，《逻辑与代数编程杂志》，60-61229-258（2004）·Zbl 1072.68075号 [61] van Glabbeek，R.J.，《弱互模拟的冷同余格式（扩展摘要）》，（Hung，D.V.；Wirsing，M.，《第二届计算理论方面国际学术讨论会论文集》，第二届国际计算理论方面学术讨论会会议论文集，ICTAC’05。第二届国际计算机理论研讨会论文集。第二届国际计算理论研讨会论文集，ICTAC’05，LNCS，第3722卷（2005），Springer），331-346·Zbl 1216.68199号 [62] van Glabbeek，R.J。；斯莫尔卡，S.A。；Steffen，B.，概率过程的反应、生成和分层模型，信息与计算，121，1，59-80（1995）·Zbl 0832.68042号 [63] Goguen，J.A。；Meseguer，J.，《安全政策和安全模型》，（IEEE安全与隐私研讨会（1982），IEEE CS），11-20 [64] Groote，J.F.，带负前提的转换系统规范，理论计算机科学，118，2，263-299（1993）·Zbl 0778.68057号 [65] Groote，J.F。；Vaandrager，F.W.，结构化操作语义和互模拟作为同余，信息与计算，100,2202-260（1992）·Zbl 0752.68053号 [66] Guttag，J.V。；霍宁，J.J.，《Larch:形式规范的语言和工具》（1993），施普林格出版社·Zbl 0794.68103号 [67] Hartel，P.H.，LETOS——操作语义、软件、实践和经验的轻量级执行工具，29，15，1379-1416（1999） [68] 轩尼诗，M.C.B。；Plotkin，G.D.，《简单并行编程语言的完全抽象》（Becvár，J.，《第八届计算机科学数学基础研讨会论文集》，MFCS79。第八届计算机科学数学基础研讨会论文集。第八届计算机科学数学基础研讨会论文集，MFCS79，LNCS，第74卷（1979），Springer），108-120·Zbl 0457.68006号 [69] 轩尼诗，M.C.B。；Milner，R.，《非确定性和并发性的代数定律》，《ACM杂志》，32，1，137-161（1985）·Zbl 0629.68021号 [70] 轩尼诗，M.C.B。；Stirling，C.，《程序逻辑、信息和控制中未来完美的力量》，67，1-3，23-52（1985）·Zbl 0582.68010号 [71] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号 [72] Howe，D.J.，证明函数编程语言中互模拟的一致性，信息与计算，124，2，103-112（1996）·Zbl 0853.68073号 [73] Kahn，G.，《自然语义学》，（第四届计算机科学理论方面年度研讨会论文集。第四届计算科学理论方面年会论文集，STACS’87。计算机科学理论方面第四届年度研讨会论文集。第四届计算机科学理论方面年度研讨会论文集，STACS’87，LNCS，第247卷（1987），施普林格），22-39·Zbl 0657.68079号 [74] Kahn，G。；B.朗。；梅莱斯，B。；Morcos，E.，《金属：一种指定形式主义的形式主义》，计算机编程科学，3，2151-188（1983） [75] Kanellakis，P.C。；Smolka，S.A.，CCS表达式，有限状态过程和三个等价问题，信息与计算，86，1，43-68（1990）·Zbl 0705.68063号 [76] M.Kick，时间过程的协代数建模，爱丁堡大学信息学院LFCS博士论文，2002年；M.Kick，时间过程的协代数建模，爱丁堡大学信息学院LFCS博士论文，2002年·Zbl 1056.68105号 [77] Klin，B.，《从双代数语义到同余格式》，（Aceto，L.；Fokkink，W.J.；Ulidowski，I.，《结构操作语义研讨会论文集》，SOS'04。结构操作语义学研讨会论文集。结构操作语义研讨会论文集，SOS’04，ENTCS，第128卷（2005），Elsevier），3-37·Zbl 1272.68308号 [78] 拉诺特，R。；Tini，S.，半随机生成过程的概率同余，（Sassone，V.，《第八届软件科学和计算结构基础国际会议论文集》，第八届国际软件科学与计算结构基础会议论文集，FOSSACS’05。第八届软件科学和计算结构基础国际会议论文集。第八届软件科学和计算结构基础国际会议论文集，FOSSACS’05，LNCS，第3441卷（2005），Springer），63-78·Zbl 1118.68572号 [79] K.G.Larsen，过程间上下文相关互模拟，爱丁堡大学博士论文，1986；K.G.Larsen，过程间上下文相关互模拟，爱丁堡大学博士论文，1986年 [80] Larsen，K.G。；L.欣欣，通过上下文的操作语义实现组合，《逻辑与计算杂志》，1，6，761-795（1991）·Zbl 0738.68056号 [81] Larsen，K.G。；Skou，A.，通过概率测试的互模拟，信息和计算，94，1，1-28（1991）·Zbl 0756.68035号 [82] S.P.Luttik，过程代数中的选择量化，阿姆斯特丹大学计算机科学系博士论文，2002年；S.P.Luttik，过程代数中的选择量化，阿姆斯特丹大学计算机科学系博士论文，2002年 [83] 新墨西哥州马丁·奥列特。；Meseguer，J.，《重写逻辑作为逻辑和语义框架》（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第9卷（2002），Kluwer），1-87·Zbl 1055.03001号 [84] Meseguer，J.，作为并发统一模型的条件重写逻辑，理论计算机科学，96，1，73-155（1992）·Zbl 0758.68043号 [85] 梅塞盖尔，J。；Braga，C.de O.，编程语言的模块化重写语义，（Rattray，C.；Maharaj，S.；Shankland，C.，《第十届代数方法论和软件技术国际会议论文集》，第十届国际代数方法论与软件技术会议论文集，AMAST’04。第十届代数方法论和软件技术国际会议论文集。第十届代数方法论和软件技术国际会议论文集，AMAST’04，LNCS，第3116卷（2004），Springer），364-378·Zbl 1108.68401号 [86] Middelburg，C.A.，过渡系统规范中的变量绑定运算符，《逻辑与代数编程杂志》，47，1，15-45（2001）·Zbl 0970.68117号 [87] Middelburg，C.A.，《具有约束项的操作保守性的替代公式》，《逻辑与代数编程杂志》，55，1-2，1-19（2003）·Zbl 1048.68056号 [88] 米勒，D。；Tiu，A.，通用判断的证明理论，ACM计算逻辑汇刊，6，4，749-783（2005）·Zbl 1367.03059号 [89] Milner，R.，《可观察机器行为的模式表征》，（Astesiano，E.；Böhm，C.，《第六届代数与编程中的树学术讨论会论文集》，第六届数学与编程中树学术讨论会议论文集，CAAP’81。第六届代数与程序设计树学术讨论会论文集。第六届代数与程序设计树木学术讨论会论文集，CAAP’81，LNCS，第112卷（1981），Springer），25-34·Zbl 0474.68074号 [90] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [91] Milner，R.，多元微积分：教程，（Bauer，F.L.；Brauer，W.；Schwichtenberg，H.，逻辑与代数规范（1993），Springer），203-246 [92] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程微积分，第一部分，信息与计算，100，1，1-40（1992）·兹伯利0752.68036 [93] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程演算，第二部分，信息与计算，100，1，41-77（1992）·Zbl 0752.68037号 [94] 莫勒，F。；Tofts，C.M.N.，《通信系统的时间演算》（Baeten，J.C.M.；Klop，J.W.，《并发理论会议论文集：统一与扩展》，并发理论会议文献集：统一和扩展，CONCUR’90。并发理论会议记录：统一与扩展。并发理论会议记录：统一与扩展，CONCUR’90，LNCS，第458卷（1990），Springer），401-415 [95] Morcos-Chounet，E。；Conchon，A.，PPML:一种规定漂亮印刷的通用形式，（Kugler，H.-J.，IFIP大会会议记录（1986），北荷兰人），583-590 [96] Mosses，P.D.，《在结构操作语义中利用标签》，《信息基础》，第60、1-4、17-31页（2004年）·Zbl 1083.68066号 [97] Mosses，P.D.，模块化结构操作语义，《逻辑与代数编程杂志》，60-61195-228（2004）·Zbl 1072.68061号 [98] 穆萨维，M.R。；Gabbay，M.J。；Reniers，M.A.，《高阶过程的SOS》，（第16届并行理论国际会议论文集。第16届并发理论国际会议文献集，CONCUR’05。第十六届并行理论国际会议论文集。第16届并行理论国际会议论文集，CONCUR’05，LNCS，第3653卷（2005），Springer），308-322·Zbl 1134.68450号 [99] 穆萨维，M.R。；菲利普斯，I.C.C。；Reniers，医学硕士。；Ulidowski，I.，有序SOS的含义，（《第26届软件技术和理论计算机科学基础会议论文集》，《第26次软件技术和计算机理论科学基础会议文献集》，FSTTCS’06。第26届软件技术和理论计算机科学基础会议论文集。软件技术和理论计算机科学基础第26届会议论文集，FSTTCS’06，LNCS，第4337卷（2006），Springer），334-345 [100] 穆萨维，M.R。；Reniers，M.A.，《结构同余的同余》，（第八届软件科学和计算结构基础国际会议论文集。第八届国际软件科学与计算结构基础会议论文集，FOSSACS’05。第八届软件科学和计算结构基础国际会议论文集。第八届软件科学和计算结构基础国际会议论文集，FOSSACS’05，LNCS，第3441卷（2005），Springer），47-62·Zbl 1118.68534号 [101] 穆萨维，M.R。；Reniers，M.A.，《结构操作语义学中的正交扩展》，（第32届国际自动化、语言和编程学术讨论会论文集，第32届自动控制、语言和程序设计国际研讨会论文集，ICALP’05）。第32届国际自动化、语言和编程学术讨论会论文集。第32届国际自动化学术讨论会论文集，语言与编程，ICALP’05，LNCS，第3580卷（2005），Springer），1214-1225·Zbl 1085.68593号 [102] 穆萨维，M.R。；Reniers，M.A.，《在莫德建立SOS元理论原型》（Mosses，P.D.；Ulidowski，I.，《结构操作语义第二次研讨会论文集》，第二次结构操作语义研讨会论文集，SOS’05。结构操作语义学第二次研讨会论文集。结构操作语义第二次研讨会论文集，SOS’05，ENTCS，第156（1）卷（2005），Elsevier），135-150·Zbl 1273.68212号 [103] M.R.Mousavi，M.A.Reniers，《论被提升的tyft的基础和表现力》。在：R.J.van Glabbek，P.D.Mosses（编辑），第三届结构操作语义学研讨会论文集，SOS'06，在：计算机科学电子笔记，爱思唯尔，2006（出版中）；M.R.Mousavi，M.A.Reniers，《论被提升的tyft的基础和表现力》。in：R.J.van Glabbeek，P.D.Mosses（编辑），《第三届结构操作语义学研讨会论文集》，SOS’06，in：《计算机科学电子笔记》，Elsevier，2006（出版中）·Zbl 1277.68125号 [104] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS与数据、信息和计算的互模拟和同余格式的概念》，200，1，104-147（2005）·Zbl 1082.68075号 [105] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS的句法交换格式》，《信息处理快报》，93，217-223（2005）·Zbl 1173.68561号 [106] 德尼古拉，R。；Hennessy，M.C.B.，《过程等效测试》，理论计算机科学，34，83-133（1984）·Zbl 0985.68518号 [107] 尼克林，X。；Sifakis，J.，《时间过程的代数ATP：理论与应用，信息与计算》，114,1131-178（1994）·Zbl 0811.68093号 [108] 佩奇，R。；Tarjan，R.E.，《三分区优化算法》，SIAM计算杂志，16，6，973-989（1987）·Zbl 0654.68072号 [109] Parrow，J.，《并行的表达能力》，《未来一代计算机系统》，6271-285（1990） [110] Park，D.M.R.，无限序列上的并发和自动机，（第五届GI会议论文集。第五届GIS会议论文集，LNCS，第104卷（1981），Springer），167-183·Zbl 0457.68049号 [111] 菲利普斯，I.C.C。；Ulidowski，I.，有序SOS规则和弱互模拟，（Edalat，A.；Jourdan，S.；McCusker，G.，《计算理论和形式方法的进展》（1996），帝国理工大学出版社，300-311 [112] 菲利普斯，I.C.C。；Ulidowski，I.，《逆向代数过程计算》（Aceto，L.；Ingólfsdóttir，A.），《软件科学和计算结构基础会议论文集》，软件科学与计算结构基础大会论文集，2006年。软件科学和计算结构基础会议论文集。软件科学和计算结构基础会议记录，FOSSACS’06，LNCS，第3921卷（2006），Springer），246-260·Zbl 1180.68197号 [113] G.D.Plotkin，操作语义的结构方法，DAIMI FN-19技术报告，奥胡斯大学计算机科学系，丹麦奥胡斯，1981年9月；G.D.Plotkin，操作语义的结构方法，DAIMI FN-19技术报告，丹麦奥胡斯大学计算机科学系，1981年9月 [114] Plotkin，G.D.，《操作语义的结构方法》，《逻辑与代数编程杂志》，60，17-139（2004），本文首次出现于[113]·Zbl 1082.68062号 [115] Plotkin，G.D.，《结构操作语义的起源》，《逻辑与代数编程杂志》，第60期，第3-15页（2004年）·Zbl 1072.68063号 [116] Przymusinski，T.C.，《基础良好的语义与三值稳定语义一致》，《信息学基础》，13，4，445-463（1990）·Zbl 0706.68029号 [117] Reniers，医学硕士。；Groote，J.F。；van der Zwaag，医学博士。；van Wamel，J.，《时间的完整性》，《信息基础》，第50、3-4、361-402页（2002年）·Zbl 1011.68063号 [118] 桑德斯，J.W。；Zuliani，P.，《量子编程》，（Backhouse，R.C.；de Oliveira，J.N.F.，《程序构造数学》，MPC'00。程序构造数学。程序构建数学，MPC'00，LNCS，第1837卷（2000年），施普林格），80-99·兹比尔0963.68037 [119] Sabelfeld，A。；Myers，A.C.，基于语言的信息流安全，IEEE通信选定领域期刊，21，1，5-19（2003） [120] Sands，D.，《从SOS规则到证明原则：函数语言的操作元理论》，（第24届ACM编程语言原则研讨会论文集，第24届APM编程语言原理研讨会论文集），POPL'97（1997），ACM），428-441 [121] Sangiorgi，D.，高阶过程计算的双向模拟，信息与计算，131，2，141-178（1996）·Zbl 0876.68042号 [122] Sangiorgi，D。；Walker，D.，《微积分：移动过程理论》（2001），剑桥大学出版社·兹伯利0981.68116 [123] Simpson，A.，《过程验证的顺序计算：任意GSOS的Hennessy-Milner逻辑》，《逻辑与代数编程杂志》，60-61287-322（2004）·Zbl 1072.68070号 [124] Sokolova，A。；de Vink，E.P.，《概率自动机：系统类型、并行组合和比较》，（Baier，C.；Haverkort，B.R.；Hermanns，H.；Katoen，J.-P.；Siegle，M.，《随机系统的验证-当前研究指南》，《随机系统的验证-目前研究指南》LNCS，第2925卷（2004），Springer），第1-43页·Zbl 1203.68089号 [125] 汤姆森，B.，《高阶通信系统理论，信息与计算》，116，38-57（1995）·Zbl 0823.68061号 [126] Tini，S.，《非干扰规则格式》，（Degano，P.，《第12届欧洲编程、编程语言和系统研讨会论文集》，第12届欧盟编程、程序语言和系统会议论文集，ESOP’03。第十二届欧洲编程、编程语言和系统研讨会论文集。第十二届欧洲编程、编程语言和系统研讨会论文集，ESOP’03，LNCS，第2618卷（2003），Springer），129-143·Zbl 1032.68105号 [127] Tini，S.，《合成非干涉特性的规则格式》，《逻辑与代数编程杂志》，60，353-400（2004）·Zbl 1072.68073号 [128] D.Turi，《功能操作语义学及其指称双重性》，阿姆斯特丹Vrije大学博士论文，1996年；D.Turi，《功能操作语义学及其指称双重性》，阿姆斯特丹Vrije大学博士论文，1996年 [129] Turner，D.A.，Miranda:一种具有多态类型的非限定函数语言，（Jouannaud，J.-P.，《ACM函数编程语言和计算机架构会议论文集》，《ACM函数编程语言与计算机架构会议文献集》，LNCS，第201卷（1985），Springer），1-16·Zbl 0592.68014号 [130] Ulidowski，I.，《可观察过程的等价性》，（第七届IEEE计算机科学逻辑研讨会论文集。第七届电气与电子工程师协会计算机科学逻辑会议论文集，LICS’92（1992），IEEE CS），148-159 [131] Ulidowski，I.，《德西蒙语言弱等价的公理化》。扩展摘要，（Lee，I.；Smolka，S.A.，《第六届并发理论会议论文集》，CONCUR’95。第六届并发理论会议记录。第六届并发理论会议记录，CONCUR’95，LNCS，第962卷（1995），Springer），219-233 [132] Ulidowski，I.，《测试预订单和De Simone过程语言的有限公理系统》，理论计算机科学，239，1，97-139（2000）·Zbl 0944.68125号 [133] Ulidowski，I.，《OSOS过程语言重写系统》，（Amadio，R.；Lugiez，D.，《第14届并发理论国际会议论文集》，CONCUR’03。第十四届并行理论国际会议论文集。第14届并行理论国际会议论文集，CONCUR’03，LNCS，第2761卷（2003），Springer），87-102·兹比尔1274.68258 [134] 乌利多夫斯基，I。；Phillips，I.C.C.，《有序SOS规则与沉默行为的格式》，（Bidoit，M.；Dauchet，M.，《第七届软件开发理论与实践国际联合会议论文集》，TAPSOFT’97。第七届软件开发理论与实践国际联合会议论文集。第七届软件开发理论与实践国际联合会议论文集，TAPSOFT’97，LNCS，第1214卷（1997），Springer），297-308 [135] 乌利多夫斯基，I。；Phillips，I.C.C.，分支和紧急互模拟的有序SOS规则和过程语言，信息与计算，178，1，180-213（2002）·Zbl 1012.68116号 [136] 乌利多夫斯基，I。；Yuen，S.，《基于有序SOS格式和根求值互模拟的离散时间过程语言》，《逻辑与代数编程杂志》，60-61,401-461（2004）·Zbl 1072.68074号 [137] Vaandrager，F.W.，过程代数的表达结果，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，《REX语义学研讨会论文集》，LNCS，第666卷（1993），Springer），609-638 [138] Vaandrager，F.W.，《关于过程代数和输入/输出自动机之间的关系》，（第六届IEEE计算机科学逻辑研讨会论文集。第六届EEE计算机科学逻辑会议论文集，LICS’91（1991），IEEE CS），387-398 [139] Verdejo，A。；Martí-Oliet，N.，在Maude实施CCS，（Bolognesi，T.；Latella，D.，IFIP TC6 WG6.1分布式系统和通信协议形式化描述技术联合国际会议论文集（FORTE XIII）和协议规范、测试和验证（PSTV XX）。IFIP会议记录TC6 WG6.1分布式系统和通信协议形式化描述技术（FORTE XIII）和协议规范、测试和验证（PSTV XX）联合国际会议记录，IFIP会议记录，第183卷（2000年），Kluwer），351-366 [140] Verdejo，A。；Martí-Oliet，N.，《在Maude 2中实施CCS》，（Gadducci，F.；Montanari，U.，《第四届重写逻辑及其应用国际研讨会论文集》，WRLA’02。第四届重写逻辑及其应用国际研讨会论文集。第四届重写逻辑及其应用国际研讨会论文集，WRLA’02，ENTCS，第71卷（2002），Elsevier），239-257 [141] Verdejo，A.，《Maude中LOTOS符号语义的构建工具》（Peled，D.；Vardi，M.），《第22届网络化和分布式系统形式化技术国际会议论文集》，第22届国际网络化和分布系统形式化技术会议论文集，FORTE’02。第22届IFIP网络化和分布式系统形式化技术国际会议论文集。第22届IFIP网络化和分布式系统形式化技术国际会议论文集，FORTE’02，LNCS，第2529卷（2002），Springer），292-307·Zbl 1037.68516号 [142] Verdejo，A。；Martí-Oliet，N.，Maude中语义执行的两个案例研究：CCS和LOTOS，系统设计中的形式方法，27，1-2，113-172（2005）·Zbl 1086.68552号 [143] Verhoef，C.，《过程代数中的一般保守扩张定理》，（Olderog，E.-R.，《第三届IFIP编程概念、方法和微积分工作会议论文集》，第三届程序设计概念、方法与微积分工作大会论文集，PROCOMET’94。第三届IFIP编程概念、方法和微积分工作会议记录。第三届IFIP编程概念、方法和计算工作会议记录，PROCOMET’94，IFIP交易，第A-56卷（1994），Elsevier），274-302·Zbl 0839.68060号 [144] Verhoef，C.，《带谓词和负前提的结构化操作语义的同余定理》，《北欧计算杂志》，2，2，274-302（1995）·Zbl 0839.68060号 [145] Verhoef，C。；丙酮，L。；Fokkink，W.J.，结构操作语义学的保守扩展，欧洲理论计算机科学协会公报，69，110-132（1999）·Zbl 0941.68620号 [146] S.Weber，B.Bloom，《（pi）的元理论》；S.Weber，B.Bloom，《（pi）元理论》 [147] 齐格勒，A。；米勒，D。；Palamidessi，C.，《通过名字计算的同余格式》，（Mosses，P.D.；Ulidowski，I.，《结构操作语义第二次研讨会论文集》，结构操作语义，SOS 2005。结构操作语义学第二次研讨会论文集。结构操作语义第二次研讨会论文集，SOS 2005，ENTCS，第156（1）卷（2005），Elsevier），169-189·Zbl 1273.68216号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。