×
丙酮，L。;Fábregas，I。;加西亚·佩雷斯，a。;Ingólfsdóttir，A。

SOS中有界不确定性的统一规则格式，以术语作为标签。 （英语） Zbl 1373.68285号

J.日志。阿尔盖布。方法计划。 92, 64-86 (2017).
摘要：我们提出了一种结构操作语义的统一规则格式，以术语作为标签，确保相关的标记转换系统具有某种有界非确定性属性。我们考虑的性质包括有限分支、初始有限性和图像有限性。

引用于1文件

MSC公司：

68问题55 计算理论中的语义学
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

规则格式;有界不确定性;结构操作语义;标记过渡系统

软件：

NTS的模型逻辑
PDF格式BibTeX公司 XML格式引用
\textit｛L.Aceto｝等人，J.Log。阿尔盖布。方法计划。92、64-86（2017年；Zbl 1373.68285）
全文： 内政部 arXiv公司

参考文献：

[1] Abramsky，S.，领域理论和可观测属性的逻辑（1987），伦敦大学玛丽女王学院计算机科学系，博士论文
[2] Abramsky，S.，互模拟领域方程，Inf.Comput。，92, 2, 161-218 (1991) ·Zbl 0718.68057号
[3] 丙酮。；福克金，W。；Verhoef，C.，《结构操作语义学》（Bergstra，A.P.J.A.；Smolka，S.，《过程代数手册》（2001），Elsevier），197-292，第3章·Zbl 1062.68074号
[4] 丙酮。；阿拉斯加州加西亚·佩雷斯。；Ingólfsdóttir，A.，结构操作语义中有界非确定性的规则格式，（Probst，C.W.；Hankin，C.；Hansen，R。《语义学、逻辑学和微积分——献给汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日的文章》。语义学、逻辑学和微积分——纪念汉娜·里斯·尼尔森和弗莱明·尼尔森60岁生日的论文，《计算机科学讲义》，第9560卷（2016），斯普林格），313-343·Zbl 1474.68184号
[5] 丙酮。；Ingólfsdóttir，A.，有限互模拟的表征，Inf.过程。莱特。，64, 3, 127-134 (1997) ·Zbl 1337.68177号
[6] Apt，K.R。；Plotkin，G.D.，可数不确定性和随机分配，J.ACM，33，4，724-767（1986）·Zbl 0627.68015号
[7] Bengtson，J.，形式化过程微积分（2010），乌普萨拉大学科学技术学院，博士论文
[8] Bernstein，K.L.，高阶语言结构化操作语义的同余定理，（Mitchell，J.，第13届计算机科学逻辑研讨会（1998），IEEE），153-163
[9] 布莱克本，P。；de Rijke，M。；Venema，Y.，《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[10] Bloom，B.，CHOCOLATE:Calculi of Higher Order COcommunication and LAmbda TErms（初步报告），（Boehm，H.-J.；Lang，B.；Yellin，D.M.，《第21届ACM编程语言原理研讨会会议记录》，俄勒冈州波特兰市，第21届美国计算机学会编程语言原理会议记录（1994），美国计算机学会出版社）， 339-347
[11] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，J.ACM，42，1，232-268（1995）·Zbl 0886.68027号
[12] Chandra，A.K.，《可计算非确定性函数》，（第19届计算机科学基础年度研讨会，第19届计算科学基础年度会议，美国密歇根州安娜堡，1978年10月16日至18日，IEEE计算机学会），127-131
[13] 西米尼，M。；穆萨维，M.R。；Reniers，医学硕士。；Gabbay，M.J.，《标称SOS，电子》。注释Theor。计算。科学。，286, 103-116 (2012) ·Zbl 1342.68193号
[14] de Simone，R.，Meije-SCCS中的高级同步装置，Theor。计算。科学。，37, 3, 245-267 (1985) ·Zbl 0598.68027号
[15] Fokkink，W.，过程代数导论（2000），施普林格·Zbl 0941.68087号
[16] 福克金，W。；Vu，T.D.，结构操作语义与有界不确定性，信息学报。，39, 6-7, 501-516 (2003) ·Zbl 1060.68070号
[17] Gabbay，M.J。；Pitts，A.，《涉及装订的抽象语法的新方法》（Longo，G.，第14届计算机科学中的逻辑研讨会，第14次计算机科学中逻辑研讨会，意大利特伦托（1999），IEEE计算机社会出版社），214-224
[18] van Gelder，A。；罗斯，K.A。；Schilpf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-662（1991）·Zbl 0799.68045号
[19] van Glabbeek，R.J.，过程代数中的有界不确定性和近似归纳原理，（Brandenburg，F.J.；Vidal-Naquet，G。；Wirsing，M.，第四届计算机科学理论方面年度研讨会。第四届计算机科学理论方面年度研讨会，德国帕绍。第四届计算机科学理论方面年度研讨会。第四届计算机科学理论方面年度研讨会，德国帕绍，计算机科学讲稿，第247卷（1987），斯普林格），336-347·Zbl 0612.68025号
[20] Groote，J.F.，带负前提的过渡系统规范，Theor。计算。科学。，118, 2, 263-299 (1993) ·Zbl 0778.68057号
[21] Groote，J.F。；Vaandrager，F.，《结构化操作语义和互模拟作为同余》，Inf.Compute。，100, 2, 202-260 (1992) ·Zbl 0752.68053号
[22] Harel，D。；Meyer，A.R。；Pratt，V.R.，《程序逻辑中的可计算性和完整性（初步报告）》，（Hopcroft，J.E.；Friedman，E.P.；Harrison，M.A.，第九届ACM计算理论研讨会论文集，1977年5月4日至6日，美国科罗拉多州博尔德（1977），ACM），261-268
[23] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32，1，137-161（1985）·Zbl 0629.68021号
[24] Keller，R.M.，并行程序的形式验证，Commun。美国医学会，19，7，371-384（1976）·兹伯利0329.68016
[25] Milner，R.，《通信与并发》，计算机科学PHI系列（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[26] Milner，R.，《多元（π）演算：教程》，（Bauer，F.L.；Brauer，W.；Schwichtenberg，H.，《规范的逻辑和代数》（1993），Springer-Verlag），203-246
[27] 穆萨维，M.R。；加巴伊，M。；Reniers，M.A.，高阶过程的SOS，（Abadi，M.；de Alfaro，L.，第16届并发理论国际会议。第16届并发理论国际会议，计算机科学讲义（LNCS），第3653卷（2005年），Springer Verlag），308-322·Zbl 1134.68450号
[28] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS格式和元理论：20年后》，Theor。计算。科学。，373, 3, 238-272 (2007) ·Zbl 1111.68069号
[29] 帕罗，J。；Borgsteröm，J。；埃里克森，L.-H。；Gutkovas，R。；Weber，T.，名义过渡系统的模态逻辑，（第26届并发理论国际会议（CONCUR 2015））。第26届并发理论国际会议（CONCUR 2015），LIPIcs，第42卷（2015），Schloss Dagstuhl-Leibniz-Zentrum Fuer Informatik），198-211·Zbl 1374.68339号
[30] Plotkin，G.D.，《操作语义的结构方法》（1981），奥胡斯大学计算机科学系：丹麦奥胡斯学院计算机科学系，技术报告DAIMI FN-19
[31] Plotkin，G.D.，《CSP的操作语义》，（Björner，D.，IFIP TC2编程概念形式化描述工作会议-II（1983），荷兰北部），199-225·Zbl 0512.68012号
[32] Plotkin，G.D.，《操作语义的结构方法》，J.Log。代数程序。，60-61, 17-139 (2004) ·Zbl 1082.68062号
[33] Przymusinski，T.C.，基础充分的语义与三值稳定语义Fundam一致。通知。，13, 4, 445-463 (1990) ·Zbl 0706.68029号
[34] Sangiorgi，D。；Walker，D.，《（π）-微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[35] 汤姆森，B.，《高阶通信系统的微积分》，（第16届美国计算机学会编程语言原理年会（1989），美国计算机学会出版社），143-154
[36] 城市，C。；Pitts，A。；Gabbay，M.J.，《名义统一》，Theor。计算。科学。，323, 1-3, 473-497 (2004) ·Zbl 1078.68140号
[37] Vaandrager，F.，过程代数的表现性结果，（de Bakker，J.W.；de Roever，W.P。；Rozenberg，G.，REX语义学研讨会：基础和应用。REX语义学研讨会：基础与应用，荷兰比克伯根。REX语义学研讨会：基础和应用。REX语义学研讨会：基础与应用，荷兰Beekbergen，计算机科学讲稿，第666卷（1993），Springer），609-638
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。