×
卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

分配性的规则格式。 （英语） Zbl 1279.68180号

西奥。计算。科学。 458, 1-28 (2012).
摘要：本文提出了结构化操作语义的规则格式，以确保某些二进制运算符相对于一组二进制运算符是分布式的。文献中的左分布律示例显示为所提供格式的实例。给出了保证左分布律失效的一些条件。

MSC公司：

68问题55 计算理论中的语义学

关键词：

结构操作语义;规则格式;分配性
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Theor。计算。科学。458，1--28（2012；Zbl 1279.68180）
全文： 内政部

参考文献：

[1] 丙酮，L。；Birgisson，A。；Ingolfsdottir，A。；穆萨维，M.R。；Reniers，M.A.，决定论和幂等性的规则格式，（Arbab，F。；Sirjani，M.，第三届IPM软件工程基础国际会议，FSEN 2009，2009年4月15日至17日，伊朗基什岛，修订论文集。第三届IPM国际软件工程基础会议，FSEN 2009，2009年4月15日至17日，伊朗基什岛，修订论文集，计算机科学讲义，第5961卷（2010），Springer-Verlag），146-161·Zbl 1274.68060号
[2] 丙酮，L。；布鲁姆，B。；Vaandrager，F.W.，《将SOS规则转化为方程式》，Inf.Compute。，111, 1, 1-52 (1994) ·Zbl 0822.68059号
[3] 丙酮，L。；Cimini，M。；Ingolfsdottir，A.，一种基于互模拟的方法，用于证明GSOS语言中方程的有效性，（《2009年结构操作语义学第六次研讨会论文集》，2009年SOS，2009年8月31日，意大利博洛尼亚。《2009年结构性操作语义学家第六次会议论文集》·Zbl 1454.68071号
[4] 丙酮，L。；西米尼，M。；Ingolfsdottir，A。；穆萨维，M。；Reniers，M.A.，《零元素和单位元素的规则格式》，（《第26届程序设计语义数学基础会议论文集》，加拿大渥太华MFPS XXVI，Elsevier B.V：荷兰），145-160·Zbl 1342.68189号
[5] 丙酮，L。；西米尼，M。；Ingolfsdottir，A。；穆萨维，M。；Reniers，M.A.，《分配性规则格式》，（《拉丁美洲贸易协会学报》第11期）。LATA’11会议录，计算机科学讲义，第6638卷（2011），Springer-Verlag），79-90·Zbl 1330.68184号
[6] 丙酮，L。；福克金，W。；Ingolfsdottir，A。；理论上，Luttik，B.，CCS与Hennessy的合并没有有限等式公理化。计算。科学。，330, 3, 377-405 (2005) ·兹比尔1078.68102
[7] 丙酮，L。；福克金，W。；Ingolfsdottir，A。；Luttik，B.，《过程代数中的有限方程基：结果和开放问题》，（过程、术语和循环，过程、术语与循环，计算机科学讲义，第3838卷（2005年），Springer-Verlag），338-367·Zbl 1171.68558号
[8] 丙酮，L。；福克金，W。；Ingolfsdottir，A。；Luttik，B.，CCS的有限方程组，带左合并和通信合并，ACM Trans。计算。日志。，10, 1 (2009) ·Zbl 1367.68207号
[9] 丙酮，L。；福克金，W。；Ingolfsdottir，A。；Nain，S.，双相似性不是基于带中断的BPA的有限性，Theoret。计算。科学。，366, 1-2, 60-81 (2006) ·兹比尔1154.68084
[10] 丙酮，L。；福克金，W。；Verhoef，C.，《结构操作语义学》（《过程代数手册》（2001），Elsevier），197-292，（第3章）·Zbl 1062.68074号
[11] 丙酮，L。；Ingolfsdottir，A。；穆萨维，M。；Reniers，医学硕士。，单位元素的规则格式，（van Leeuwen，J.；Muscholl，A.；Peleg，D.；Pokorní，J.）。；Rumpe，B.，第36届计算机科学理论与实践当前趋势会议论文集，SOFSEM 2010，2010年1月23日至29日，Špindleruv Mlýn，捷克共和国。《第36届计算机科学理论与实践当前趋势会议论文集》，SOFSEM 2010，2010年1月23日至29日，Špindleruv Mlín，捷克共和国，计算机科学讲义，第5901卷（2010），Springer-Verlag），141-152·Zbl 1274.68169号
[12] 丙酮，L。；Ingolfsdottir，A。；穆萨维，M.R。；Reniers，M.A.，免费代数性质！，牛市。欧洲协会。计算。科学。EATCS，99，81-104（2009）
[13] Baeten，J。；巴斯滕，T。；Reniers，M.，（过程代数：通信过程的等式理论。过程代数：传输过程的等量理论，剑桥理论计算机科学丛书，第50卷（2009），剑桥大学出版社）·Zbl 1234.68001号
[14] J.Baeten，J.Bergstra，过程代数中的模式转移。《CSR 00-01技术报告》，埃因霍温理工大学，2000年。；J.Baeten，J.Bergstra，过程代数中的模式转移。技术报告报告CSR 00-01，埃因霍温理工大学，2000年·Zbl 0651.68031号
[15] Baeten，J。；Bergstra，J。；Klop，J.W.，《进程代数中中断机制的语法和定义方程》，基金会。通知。，九、 2127-168（1986）·兹比尔0617.68027
[16] Baeten，J。；Mauw，S.，《延迟选择：加入消息序列图的操作符》，（Hogrefe，D。；Leue，S.，《第七届IFIP WG6.1形式描述技术国际会议论文集》，瑞士伯尔尼。第七届IFIP WG6.1国际形式描述技术会议记录，瑞士伯尔尼，IFIP会议记录，第6卷（1995），查普曼和霍尔），340-354
[17] J.Bergstra，J.W.Klop，过程代数中的不动点语义。报告IW 206，Mathematisch Centrum，阿姆斯特丹，1982年。；J.Bergstra，J.W.Klop，过程代数中的不动点语义。报告IW 206，Mathematisch Centrum，阿姆斯特丹，1982年·Zbl 0489.68016号
[18] Bergstra，J。；Klop，J.W.，同步通信的过程代数，Inf.Control，60，1/3109-137（1984）·Zbl 0597.68027号
[19] Bergstra，J。；Klop，J.W.，《抽象通信过程代数》，理论。计算机科学，37，77-121（1985）·Zbl 0579.68016号
[20] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪双刺激》，美国医学会杂志，42，1232-268（1995）·Zbl 0886.68027号
[21] Brinksma，E.，LOTOS教程，（IFIP WG6.1第五届协议规范、测试和验证国际会议论文集V（1985），North-Holland Publishing Co.），171-194
[22] 克兰恩，S。；穆萨维，M。；Reniers，M.A.，关联性的规则格式，（van Breugel，F.；Chechik，M.，《第19届并发理论国际会议论文集》，CONCUR'08，加拿大多伦多，Springer-Verlag:Springer-Verlag柏林，德国），447-461·Zbl 1160.68461号
[23] de Simone，R.，Meije-SCCS中的高级同步装置，Theoret。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号
[24] Hennessy，M.，（过程代数理论。过程代数理论，计算基础系列（1988），麻省理工学院出版社：麻省理工大剑桥出版社）·Zbl 0744.68047号
[25] Hoare，C.，通信顺序过程，Commun。ACM，21、8、666-677（1978）·Zbl 0383.68028号
[26] Hoare，C.，《沟通顺序过程》（1985），普伦蒂斯·霍尔国际：普伦蒂斯霍尔国际恩格尔伍德悬崖·Zbl 0637.68007号
[27] Milner，R.，《通信与并发》（1989），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，美国新泽西州上鞍河·Zbl 0683.68008号
[28] Moller，F.，过程代数中左合并算子的重要性，（Paterson，M.，《第17届国际自动化学术讨论会论文集，语言与程序设计》，ICALP 1090，沃里克·兹比尔0774.68039
[29] Moller，F.，《CCS同余有限公理化的不存在》，（第五届计算机科学逻辑年会论文集，1990年，美国费城（1990），IEEE计算机社会出版社），142-153
[30] 穆萨维，M。；Reniers，M。；Groote，J.F.，SOS的一种句法可交换格式，Inform。过程。莱特。，93, 217-223 (2005) ·Zbl 1173.68561号
[31] 穆萨维，M.R。；菲利普斯一世。；Reniers，医学硕士。；Ulidowski，I.，有序SOS的语义和表达，Inform。和计算。，207, 2, 85-119 (2009) ·Zbl 1165.68045号
[32] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS格式和元理论：20年后》，Theort。计算。科学。，373, 3, 238-272 (2007) ·Zbl 1111.68069号
[33] 尼科林，X。；Sifakis，J.，《时间过程代数》，ATP：理论与应用，Inform。和计算。，114, 1, 131-178 (1994) ·Zbl 0811.68093号
[34] Park，D.，无限序列上的并发与自动机，（第五届理论计算机科学地理信息会议论文集（1981），Springer-Verlag:Springer-Verlag London，UK），167-183·Zbl 0457.68049号
[35] G.D.Plotkin，操作语义的结构方法。《DAIMI FN-19技术报告》，奥胡斯大学，1981年。；G.D.Plotkin，操作语义的结构方法。《DAIMI FN-19技术报告》，奥胡斯大学，1981年。
[36] Plotkin，G.D.，《操作语义的结构方法》，J.Log。阿尔盖布。程序。，60-61, 17-139 (2004) ·Zbl 1082.68062号
[37] Przymusinski，T.，建立良好的语义与三值稳定语义Fund一致。通知。，13, 4, 445-463 (1990) ·Zbl 0706.68029号
[38] Sangiorgi，D。；Walker，D.，《（pi）演算：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。