×
法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;巴伦西亚，弗兰克·D。

软并发约束规划的观察和行为等效性。 （英语） Zbl 1373.68176号

J.日志。阿尔盖布。方法计划。 92, 45-63 (2017).
摘要：我们提出了软并发约束编程（SCCP）的标记语义，这是一种元语言，并发代理可以通过发布或检查（软）约束的满足程度来在共享存储上同步。SCCP通过将约束系统参数化到一个富含顺序的幺半群上，从而推广了经典形式主义，从而用幺半群的一个元素抽象地表示存储，而标准的未标记语义只观察存储更新。新的操作规则提供了一种完善的共归纳技术来证明原始的等价性。基于这个特征，我们为有限代理提供了一个公理化。

引用于4文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

CC-Pi公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}等人，J.Log。阿尔盖布。方法计划。92、45-63（2017年；Zbl 1373.68176）
全文： DOI程序

参考文献：

[1] 萨拉斯瓦特，V.A。；里纳德，M.C。；Panangaden，P.，并发约束编程的语义基础，（Wise，D.S.，POPL 1991（1991），ACM出版社），333-352
[2] 阿里斯蒂扎巴尔，A。；Bonchi，F。；帕拉米德西，C。；皮诺，L.F。；Valencia，F.D.，《导出并发约束编程的标签和双相似性》（Hofmann，M.，FOSSACS 2011）。FOSSACS 2011，LNCS，第6604卷（2011），施普林格），138-152·Zbl 1326.68196号
[3] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，《软并发约束编程》，ACM Trans。计算。日志。，7, 3, 563-589 (2006) ·Zbl 1367.68315号
[4] 巴斯米，M.G。；Montanari，U.，CC-Pi：一种基于约束的语言，用于指定服务级别协议（De Nicola，R.，ESOP 2007）。ESOP 2007，LNCS，第4421卷（2007），Springer），18-32·Zbl 1187.68063号
[5] 比斯塔雷利，S。；Santini，F.，一种安全的非单调软并发约束语言，Fundam。通知。，134, 3-4, 261-285 (2014) ·Zbl 1315.68037号
[6] 比斯塔雷利，S。；加布里埃利，M。；Meo，M.C。；Santini，F.，《定时软并发约束程序》，（Lea，D.；Zavataro，G.，COORDINATION.COORDINATION，LNCS，第5052卷（2008）），50-66
[7] 比斯塔雷利，S。；加布里埃利，M。；Meo，M.C。；Santini，F.，《定时软并发约束程序：交错并行方法》，理论与实践。日志。程序。，15, 6, 743-782 (2015) ·Zbl 1379.68087号
[8] Gadducci，F。；桑蒂尼，F。；皮诺，L.F。；Valencia，F.D.，《软并发约束编程的标记语义》（Holvoet，T.；Viroli，M.，COORDINATION 2015）。2015年协调，LNCS（2015），Springer），133-149
[9] Karner，G.，基于半环的约束满足和优化，半群论坛，45，XX，148-165（1992）·Zbl 0780.16037号
[10] Fargier，H。；Lang，J.，《约束满足问题中的不确定性：概率方法》（Clarke，M.；Kruse，R.；Moral，S.，ECSQUARU，1993）。ECSQUARU 1993，LNCS，第747卷（1993），施普林格），97-104
[11] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，J.ACM，44，2，201-236（1997）·兹伯利0890.68032
[12] Golan，J.，半环及其上的仿射方程：理论与应用（2003），Kluwer·Zbl 1042.16038号
[13] 比斯塔雷利，S。；Gadducci，F.，《在基于半环的形式中加强约束操作》（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，ECAI 2006）。ECAI 2006，FAIA，第141卷（2006），IOS出版社），63-67
[14] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：亚结构逻辑的代数一瞥》（2007），Elsevier·Zbl 1171.03001号
[15] 巴切利，F。；科恩，G。；Olsder，G。；Quadrat，J.-P.，《同步与线性：离散事件系统的代数》（1992），威利出版社·Zbl 0824.93003号
[16] Monk，J.D.，《圆柱集代数导论》，Log。J.IGPL，8，451-496（2000年）·Zbl 0979.03046号
[17] Kwiatkowska，M.Z.，并发约束编程中的无限行为和公平，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，《语义：基础和应用》，语义：基础与应用，LNCS，第666卷（1992），Springer），348-383
[18] Nyström，S。；Jonsson，B.，并发约束编程的完全抽象语义，Inf.Comput。，146, 2, 138-180 (1998) ·兹伯利0913.68134
[19] 米尔纳，R。；Sangiorgi，D.，Barbed bisimulation，（Kuich，W.，ICALP 1992）。ICALP 1992，LNCS，第623卷（1992），施普林格），685-695·Zbl 1425.68298号
[20] 蒙塔纳里，美国。；Sassone，V.，CCS的动态一致性与进展互模拟，Fundam。通知。，16, 2, 171-199 (1992) ·Zbl 0762.68044号
[21] Leifer，J.J。；Milner，R.，《推导反应系统的互模拟同余》（Palamidessi，C.，CONCUR 2000）。CONCUR 2000，LNCS（2000）），243-258·Zbl 0999.68141号
[22] Bonchi，F。；Gadducci，F。；Monreale，G.V.，《反应系统、倒刺语义和移动环境》（de Alfaro，L.，FOSSACS 2009）。FOSSACS 2009，LNCS（2009）），272-287·Zbl 1234.68287号
[23] Bonchi，F。；König，B。；Montanari，U.，反应系统的饱和语义，（第21届IEEE计算机科学逻辑研讨会。第21届计算机科学逻辑IEEE研讨会，LICS（2006），IEEE计算机学会），69-80
[24] Bonchi，F。；Gadducci，F。；Monreale，G.V.，《倒钩、语境和标签的一般理论》，ACM Trans。计算。日志。，15，4，35:1-35:27（2014）·Zbl 1354.68189号
[25] Mendler，N.P。；帕南加登，P。；斯科特·P·J。；Seely，R.A.G.，并发约束编程的逻辑视图，Nord.J.Compute。，2, 2, 181-220 (1995) ·Zbl 0839.68020号
[26] Buscemi，M.G。；Montanari，U.，并发约束pi-calculus的开放互模拟（Drossopoulou，S.，ESOP 2008）。ESOP 2008，计算机科学讲义，第4960卷（2008），施普林格），254-268·兹比尔1133.68384
[27] 北卡罗来纳州Carriero。；Gelernter，D.，上下文中的Linda，Commun。ACM，32，4，444-458（1989）
[28] 德尼古拉，R。；Pugliese，R.，《Linda的观察语义学》（Desel，J.，STRICT 1995（1995），Springer），129-143
[29] 德尼古拉，R。；戈拉，D。；Pugliese，R.，《基于KLAIM的计算的表达能力》，Theor。计算。科学。，356, 3, 387-421 (2006) ·兹比尔1092.68070
[30] 北布西。；Gorrieri，R。；Zavattaro，G.，《关于Linda协调原语的表现力》，Inf.Compute。，156, 1-2, 90-121 (2000) ·Zbl 1046.68616号
[31] 美国达拉戈。；Martini，S.，基本仿射逻辑的阶段语义和可判定性，Theor。计算。科学。，318, 3, 409-433 (2004) ·Zbl 1047.03048号
[32] 阿尔汉格尔斯基，A。；Pontryagin，L.，《一般拓扑I》（1990），Springer
[33] 皮诺，L.F。；Bonchi，F。；Valencia，F.D.，《具有非确定性选择的并发约束编程的行为一致性》，（Ciobanu，G.；Méry，D.，ICTAC 2014。ICTAC 2014，LNCS，第8687卷（2014），施普林格），351-368·Zbl 1432.68315号
[34] de Boer，F.S。；加布里埃利，M。；马尔乔里，E。；Palamidessi，C.，证明并发约束程序正确，ACM Trans。程序。语言系统。，19, 5, 685-725 (1997)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。