×

并发约束编程的模型和新兴趋势。 (英语) 兹比尔1317.90283

概要:并发约束编程(CCP)在过去二十年中一直被用作并发系统的一种优雅且富有表现力的模型。它通过发布和查询部分信息对代理通信系统进行建模,这些信息表示为对系统变量的约束。这涵盖了各种各样的系统,如生物现象、反应系统、网络中心计算以及社交网络和云计算的出现。本文综述了CCP的主要应用、发展和当前趋势。

MSC公司:

90立方 非线性规划
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abadi,M.和Gordon,公元(1999年)。密码协议演算:spi演算。信息与计算,148(1),1-70·Zbl 0924.68073号 ·doi:10.1006/inco.1998.2740
[2] Allombert,A.,Desainte-Catherine,M.,Assayg,G.(2008)。Iscore:书写交互系统。在Tsekeridou,S.,Cheok,A.D.,Giannakis,K.,Karigannis,J.(编辑)DIMEA,ACM国际会议论文集(第349卷,第360-367页)。ACM公司。
[3] Alpuente,M.、Falaschi,M.和Villanueva,A.(2004年)。tccp程序的符号模型检查器。在Guelfi,N.(编辑)RISE中,LNCS(第3475卷,第45-56页)。斯普林格。
[4] Alpunte,M.,Gramlich,B.,Villanueva,A.(2007年)。带有外部函数的定时并发约束编程框架。ENTCS,188、143-155·兹比尔1278.68066
[5] Alpunte,M.、del Mar Gallardo,M.,Pimentel,E.、Villanueva,A.(2005)。用于tccp程序抽象模型检查的语义框架。理论计算机科学,346(1),58-95·Zbl 1087.68053号 ·doi:10.1016/j.tcs.2005.08.009
[6] Alpunte,M.、del Mar Gallardo,M.,Pimentel,E.、Villanueva,A.(2006)。验证tccp程序的实时属性。《通用计算机科学杂志》,12(11),1551-1573。
[7] Alpunte,M.、del Mar Gallardo,M.,Pimentel,E.、Villanueva,A.(2008)。基于源到源转换的同步并发语言抽象分析框架。ENTCS,206,3-21·Zbl 1278.68065号
[8] Amadio,R.M.,Lugiez,D.,Vanackère,V.(2003年)。关于具有密码函数的过程的符号化约简。理论计算机科学,290(1),695-740·Zbl 1051.68054号 ·doi:10.1016/S0304-3975(02)00090-7
[9] Aranda,J.、Pérez,J.A.、Rueda,C.、Valencia,F.D.(2008)。并发约束规划中的随机行为和显式离散时间。In de la Banda,M.G.,&Pontelli,E.(编辑)《逻辑编程》,第24届国际会议,ICLP 2008,意大利乌迪内,2008年12月9日至13日,《LNCS学报》(第5366卷,第682-686页)。斯普林格·Zbl 1185.68437号
[10] Arbelaez,A.、Gutierrez,J.、Perez,JA.(2006年)。系统生物学中的时间并发约束编程。逻辑编程协会通讯,19(4)。
[11] Aristizábal,A.,Bonchi,F.,Palamidessi,C.,Pino,L.F.,Valencia,F.D.(2011年)。为并发约束编程派生标签和二相似性。M.Hofmann(编辑)FOSSACS,LNCS(第6604卷,第138-152页)。斯普林格·Zbl 1326.68196号
[12] Aristizábal,A.,Bonchi,F.,Valencia,F.D.,Pino,L.F.(2012)。ccp中双相似性的分区细化。Ossowski,S.,&Lecca,P.(编辑)《ACM应用计算研讨会论文集》,SAC 2012年,意大利特伦托里瓦,2012年3月26日至30日(第88-93页)。ACM公司·Zbl 1433.68228号
[13] Assayg,G.,Dubnov,S.,Rueda,C.(2006年)。音乐即兴创作的并发约束因子预言模型。过程中。CLEI 2006年。
[14] de la Banda,M.G.和Pontelli,E.(编辑)(2008年)。逻辑编程,第24届国际会议,2008年ICLP,意大利乌迪内,2008年12月9日至13日,LNCS会议记录(第5366卷)。斯普林格·Zbl 1154.68013号
[15] Barahona,P.和Felty,A.P.(编辑)(2005年)。2005年7月11日至13日在葡萄牙里斯本举行的第七届ACM SIGPLAN国际声明性编程原则和实践会议记录。ACM公司·Zbl 1207.68220号
[16] Barco,A.,Knight,S.,Valencia,F.(2012)。K-stores空间和认知并发约束解释器。过程中。WFLP’12·Zbl 0284.68074号
[17] Bartoletti,M.和Zunino,R.(2010年)。承包过程的计算。在LICS中(第332-341页)。IEEE计算机学会。
[18] Bengtson,J.、Johansson,M.、Parrow,J.和Victor,B.(2011)。Psi-calculi:具有标称数据和逻辑的移动进程框架。计算机科学中的逻辑方法,7(1)·Zbl 1213.68399号
[19] Bergstra,J.A.和Klop,J.W.(1985年)。用抽象传递过程的代数。理论计算机科学,37,77-121·兹比尔0579.68016 ·doi:10.1016/0304-3975(85)90088-X
[20] Berry,G.和Gonthier,G.(1992年)。esterel同步编程语言:设计、语义、实现。计算机程序设计科学,19(2),87-152·Zbl 0772.68013号 ·doi:10.1016/0167-6423(92)90005-V
[21] Bertolino,M.,Etalle,S.,Palamidessi,C.(1999)。ccp程序的替换操作。在Bossi,A.(编辑)LOPSTR,LNCS,(第1817卷,第216-233页)。斯普林格·Zbl 0964.68021号
[22] Best,E.,de Boer,F.,Palamidessi,C.(1995)。具有信息删除的并发约束编程。在并发约束编程第一次研讨会上·Zbl 1294.68047号
[23] Best,E.,de Boer,F.S.,Palamidessi,C.(1997)。线性约束程序的偏序和sos语义。在Garlan,D.和Métayer,D.L.(编辑)《协调》,LNCS(第1282卷,第256-273页)。斯普林格·Zbl 0902.68034号
[24] Betz,H.和Frühwirth,T.W.(2005)。约束处理规则的线性逻辑语义。在van Beek,P.(编辑)CP,LNCS(第3709卷,第137-151页)。斯普林格·Zbl 1153.68349号
[25] Bistarelli,S.(2004)。软约束求解和程序设计的半环。在LNCS(第2962卷)中。斯普林格·Zbl 1054.68136号
[26] Bistarelli,S.、Bottalico,M.、Santini,F.(2009年)。基于约束的语言对凝血级联进行建模。Ferilli,S.和Malerba,D.(编辑)《生物信息学中基于逻辑的方法》(第32-41页)。
[27] Bistarelli,S.,Campli,P.,Santini,F.:代理与非单调软并发约束编程的安全协调。Ossowski,S.,&Lecca,P.(编辑)《ACM应用计算研讨会论文集》,SAC 2012年,意大利特伦托里瓦,2012年3月26日至30日(第1551-1553页)。ACM公司。
[28] Bistarelli,S.、Gabbrielli,M.、Meo,M.C.、Santini,F.(2008)。定时软并发约束程序。在Lea,D.和Zavattaro,G.(编辑)《协调》中,LNCS(第5052卷,第50-66页)。斯普林格·Zbl 1379.68087号
[29] Bistarelli,S.、Montanari,U.、Rossi,F.(2006)。软并发约束编程。ACM计算逻辑事务,7(3),563-589·Zbl 1367.68315号 ·doi:10.1145/1149114.1149118
[30] Bistarelli,S.、Montanari,U.、Rossi,F.、Schiex,T.、Verfaillie,G.、Fargier,H.(1999)。基于半环的CSP和有价值的CSP:框架、属性和比较。约束,4(3),199-240·Zbl 0946.68143号 ·doi:10.1023/A:1026441215081
[31] Bistarelli,S.,Santini,F.(2011年)。一种非单调软并发约束语言,用于对谈判过程进行建模。《信息基础》,111(3),257-279·Zbl 1234.68286号
[32] Bockmayr,A.和Courtois,A.(2002年)。使用混合并发约束编程对动态生物系统建模。在Stuckey,P.J.(编辑)ICLP,LNCS(第2401卷,第85-99页)。斯普林格·Zbl 1045.68527号
[33] de Boer,F.S.,Gabbrielli,M.,Marchiori,E.,Palamidessi,C.(1997)。证明并发约束程序正确。美国计算机学会程序设计语言与系统汇刊,19(5),685-725·doi:10.1145/265943.265954
[34] de Boer,F.S.,Gabbrielli,M.,Meo,M.C.(2000年)。一种定时并发约束语言。信息与计算,161(1),45-83·Zbl 1046.68507号 ·文件编号:10.1006/inco.1999.2879
[35] de Boer,F.S.,Gabbrielli,M.,Meo,M.C.(2004)。证明定时并发约束程序的正确性。ACM计算逻辑事务,5(4),706-731·Zbl 1367.68189号 ·doi:10.1145/1024922.1024926
[36] de Boer,F.S.,Gabbrielli,M.,Palamidessi,C.(1996)。用动态调度证明约束逻辑程序的正确性。Cousot,R.,&Schmidt,D.A.(编辑)SAS,LNCS(第1145卷,第83-97页)。斯普林格·Zbl 1482.68086号
[37] de Boer,F.S.,Kok,J.N.,Palamidessi,C.,Rutten,J.J.M.M.(1989)。控制流与逻辑:保护horn子句的指称和声明模型。Kreczmar,A.和Mirkowska,G.(编辑),MFCS,LNCS(第379卷,第165-176页)。斯普林格·兹比尔0755.68094
[38] de Boer,F.S.,Kok,J.N.,Palamidessi,C.,Rutten,J.J.M.M.(1989)。parlog版本的语义模型。ICLP(第621-636页)·Zbl 1046.68507号
[39] de Boer,F.S.和Palamidessi,C.(1991)。并发约束编程的完全抽象模型。Abramsky,S.和Maibaum,T.S.E.(编辑)TAPSOFT,第1卷,LNCS,(第493卷,第296-319页)。斯普林格·Zbl 0967.68516号
[40] de Boer,F.S.和Palamidessi,C.(1992年)。关于并发约束编程的语义。ALPUK(第145-173页)·Zbl 1101.68679号
[41] de Boer,F.S.,Pierro,A.D.,Palamidessi,C.(1995年)。约束规划中的不确定性和无限计算。理论计算机科学,151(1),37-78·Zbl 0872.68103号 ·doi:10.1016/0304-3975(95)00047-Z
[42] Boreale,M.(2001)。密码协议的符号跟踪分析。在Orejas,F.,Spirakis,P.G.,van Leeuwen,J.(编辑)ICALP,LNCS(第2076卷,第667-681页)。斯普林格·Zbl 0986.94022号
[43] Borning,A.(编辑)(1994年)。约束编程原理与实践,第二届国际研讨会,PPCP’94,美国华盛顿州奥卡斯岛罗萨里奥,1994年5月2-4日,《程序集》,LNCS(第874卷)。斯普林格·Zbl 0802.0046号
[44] Bortolussi,L.和Policiti,A.(2008年)。在随机并发约束规划中建模生物系统。约束,13(1-2),66-90·Zbl 1144.92001号
[45] Bortolussi,L.和Wiklicky,H.(2005)。一种分布式概率并发约束编程语言。在Gabbrielli,M.和Gupta,G.(编辑)ICLP中,《计算机科学讲义》(第3668卷,第143-158页)。斯普林格·Zbl 1165.68325号
[46] Bottalico,M.和Bistarelli,S.(2009年)。用于生物反应的基于约束的语言。In Hill,P.M.和Warren,D.S.(编辑),逻辑编程,第25届国际会议,ICLP 2009,美国加利福尼亚州帕萨迪纳,2009年7月14-17日。《LNCS诉讼》(第5649卷,第561-562页)。斯普林格。
[47] Brookes,S.D.,Hoare,C.A.R.,Roscoe,A.W.(1984)。一种沟通顺序过程的理论。美国医学会杂志,31(3),560-599·Zbl 0628.68025号 ·doi:10.1145/828.833
[48] Bueno,F.、Hermenegildo,M.V.、Montanari,U.、Rossi,F.(1998)。原子和本地原子cc程序的部分顺序和上下文网络语义。计算机程序设计科学,30(1-2),51-82·Zbl 0891.68057号
[49] Buscemi,M.G.、Coppo,M.、Dezani-Ciancaglini,M.和Montanari,U.(2011年)。服务合同的约束。Bruni,R.,&Sassone,V.(编辑)TGC,LNCS,(第7173卷,第104-120页)。斯普林格。
[50] Buscemi,M.G.和Montanari,U.(2007年)。CC-Pi:一种基于约束的语言,用于指定服务级别协议。De Nicola,R.(编辑)ESOP,LNCS(第4421卷,第18-32页)。斯普林格·Zbl 1187.68063号
[51] Buscemi,M.G.和Montanari,U.(2008年)。用于并发约束pi演算的开放式互模拟。在Drossopoulou,S.(编辑)ESOP中,LNCS(第4960卷,第254-268页)。斯普林格·Zbl 1133.68384号
[52] Buscemi,M.G.和Montanari,U.(2011年)。CC-Pi:一种用于服务协商和组合的约束语言。Wirsing,M.,&Hölzl,M.M.(编辑)《SENSORIA项目的结果》,LNCS(第6582卷,第262-281页)。斯普林格。
[53] Buscemi,M.G.和Montanari,U.(2011年)。服务组合中的Qos协商。逻辑与代数编程杂志,80(1),13-24·Zbl 1207.68220号 ·doi:10.1016/j.jlap.2010.04.001
[54] Campli,P.,Bistarelli,S.(2009年)。在并发约束语言上捕获公平计算。In Hill,P.M.和Warren,D.S.(编辑),逻辑编程,第25届国际会议,ICLP 2009,美国加利福尼亚州帕萨迪纳,2009年7月14-17日。《LNCS诉讼》(第5649卷,第559-560页)。斯普林格·Zbl 1263.68118号
[55] Cardelli,L.和Gordon,A.D.(1998年)。移动环境。In Nivat,M.(编辑)FoSSaCS,LNCS(第1378卷,第140-155页)。斯普林格·Zbl 0954.68108号
[56] Carlson,B.、Haridi,S.、Janson,S.(1994年)。AKL(FD)——一种用于FD编程的并发语言。在SLP中(第521-535页)。
[57] Chiarugi,D.,Falaschi,M.,Olarte,C.,Palamidessi,C.(2010年)。定时并发约束编程中信号通路的合成建模。在Zhang,A.、Borodovsky,M.、Øzsoyoglu,G.、Mikler,A.R.(编辑)BCB中(第414-417页)。ACM公司。
[58] Comini,M.、Titolo,L.、Villanueva,A.(2011年)。定时并发约束程序的抽象诊断。TPLP,11(4-5),487-502·Zbl 1222.68053号
[59] Coppo,M.和Dezani-Ciancaglini,M.(2008)。具有并发约束的结构化通信。在Kaklamanis,C.和Nielson,F.(编辑)TGC,LNCS(第5474卷,第104-125页)。斯普林格。
[60] 库索特·P.和库索特R.(1992年)。逻辑程序的抽象解释和应用。逻辑编程杂志,13(2&3),103-179·Zbl 0776.68024号
[61] Crazzolara,F.和Winskel,G.(2001年)。密码协议中的Petri网。在IPDPS中(第149页)。IEEE计算机协会·Zbl 0502.94005号
[62] Dahl,V.和Niemelä,I.(编辑)(2007年)。逻辑编程,第23届国际会议,2007年ICLP,葡萄牙波尔图,2007年9月8日至13日,LNCS会议记录(第4670卷)。斯普林格·Zbl 1129.68002号
[63] Demoen,B.和Lifschitz,V.(编辑)(2004年)。逻辑编程,第20届国际会议,ICLP 2004,圣马洛,法国,2004年9月6日至10日,LNCS会议记录(第3132卷)。斯普林格·Zbl 1056.68006号
[64] Dezani-Ciancaglini,M.和de’Liguoro,U.(2009年)。会话和会话类型:概述。在Laneve,C.和Su,J.(编辑)WS-FM,LNCS(第6194卷,第1-28页)。斯普林格·Zbl 0839.68020号
[65] Díaz,J.F.,Gutierrez,G.,Olarte,C.A.,Rueda,C.(2004)。将约束规划用于配电网的重新配置。罗伊,P.V.(编辑)MOZ,LNCS(第3389卷,第263-276页)。斯普林格·Zbl 0902.68034号
[66] Díaz,J.F.,Rueda,C.,Valencia,F.D.(1998年)。Pi+−演算:具有约束的并发进程的演算。CLEI电子杂志,1(2)·Zbl 0752.68036号
[67] Dolev,D.和Yao,A.C.C.(1983年)。关于公钥协议的安全性。IEEE信息理论汇刊,29(2),198-207·Zbl 0502.94005号 ·doi:10.1109/TIT.1983.1056650
[68] Dovier,A.和Pontelli,E.(编辑)(2010年)。《逻辑编程25年展望:意大利逻辑编程协会的成就》,GULP,LNCS(第6125卷)。斯普林格·Zbl 1191.68008号
[69] Dubois,D.,Fargier,H.,Prade,H.(1993年)。模糊约束演算作为柔性约束满足的基础。过程中。第二届IEEE模糊系统会议(第2卷,第1131-1136页)。加利福尼亚州旧金山·Zbl 0284.68074号
[70] Duck,G.J.、Stuckey,P.J.、de la Banda,M.J.G.、Holzbaur,C.(2004)。约束处理规则的精细操作语义。Demoen,B.,&Lifschitz,V.(编辑)《逻辑编程》,第20届国际会议,ICLP 2004,法国圣马洛,2004年9月6日至10日,《LNCS学报》(第3132卷,第90-104页)。斯普林格·Zbl 1104.68359号
[71] Duck,G.J.、Stuckey,P.J.、Sulzmann,M.(2007)。约束处理规则的可观察汇流。Dahl,V.和Niemelä,I.(编辑)《逻辑编程》,第23届国际会议,ICLP 2007,葡萄牙波尔图,2007年9月8日至13日,《LNCS学报》(第4670卷,第224-239页)。斯普林格·Zbl 1213.68161号
[72] Dücker,M.、Lehrenfeld,G.、Müller,W.、Tahedl,C.(1997年)。交互式实时动画的通用系统。ECBS(第263-270页)。IEEE计算机学会·Zbl 1018.68019号
[73] Etalle,S.、Gabbrielli,M.、Meo,M.C.(2001年)。CCP项目的转型。美国计算机学会程序设计语言与系统汇刊,23(3),304-395·Zbl 0911.68020号
[74] Eveillard,D.,Ropers,D.,de Jong,H.,Branlant,C.,Bockmayr,A.(2004)。选择性剪接调控的多尺度约束规划模型。理论计算机科学,325(1),3-24·兹比尔1071.68099 ·doi:10.1016/j.tcs.2004.03.062
[75] Fages,F.、Batt,G.、Maria,E.D.、Jovanovska,D.、Rizk,A.、Soliman,S.(2010年)。生物炉中的计算系统生物学。ERCIM新闻,2010(82),36。
[76] Fages,F.、de Oliveira Rodrigues,C.M.、Martinez,T.(2008)。模块化CHR,带问答功能。过程中。第五次约束处理规则研讨会·Zbl 1234.68286号
[77] Fages,F.、Ruet,P.、Soliman,S.(2001年)。线性并发约束编程:操作和阶段语义。信息与计算,165(1),14-41·Zbl 1003.68065号 ·doi:10.1006/inco.2000.3002
[78] Fages,F.、Soliman,S.、Vianu,V.(1998)。并发约束编程的表达性和复杂性:一种有限模型理论方法。技术报告98-14,留置权·Zbl 1278.68066号
[79] Falaschi,M.,Gabbrielli,M..,Marriott,K.,Palamidessi,C.(1993)。并发约束编程的组合分析。在LICS中(第210-221页)。IEEE计算机学会。
[80] Falaschi,M.,Gabbrielli,M..,Marriott,K.,Palamidessi,C.(1997)。并发约束编程中的汇流。理论计算机科学,183(2),281-315·Zbl 0901.68032号 ·doi:10.1016/S0304-3975(97)00328-9
[81] Falaschi,M.、Gabbrielli,M.、Marriott,K.、Palamidessi,C.(1997年)。带动态调度的约束逻辑编程:基于闭包操作符的语义。信息与计算,137(1),41-67·Zbl 0882.68035号 ·doi:10.1006/inco.1997.2638
[82] Falaschi,M.,Olarte,C.,Palamidessi,C.(2009年)。时间并发约束程序的抽象解释框架。在Porto,A.和López-Fraguas,F.J.(编辑)PPDP(第207-218页)。ACM公司·Zbl 1051.68054号
[83] Falaschi,M.、Olarte,C.、Palamidessi,C.、Valencia,F.(2007年)。时序并发约束程序的声明性诊断。Dahl,V.和Niemelä,I.(编辑)《逻辑编程》,第23届国际会议,ICLP 2007,葡萄牙波尔图,2007年9月8日至13日,《LNCS学报》(第4670卷,第271-285页)。斯普林格·兹比尔1213.68204
[84] Falaschi,M.,Policriti,A.,Villanueva,A.(2001年)。用时间并发约束语言对并发系统进行建模,即ENTCS,48,197-210·Zbl 1263.68118号
[85] Falaschi,M.和Villanueva,A.(2006年)。定时并发约束程序的自动验证。TPLP 6(3),265-300·Zbl 1101.68679号
[86] Fournet,C.和Abadi,M.(2002年)。隐藏名称:应用pi演算中的私有身份验证。在Okada,M.,Pierce,B.C.,Scedrov,A.,Tokuda,H.,Yonezawa,A.(编辑)ISSS,LNCS(第2609卷,第317-338页)。斯普林格·Zbl 1033.94557号
[87] Franzén,T.、Haridi,S.、Janson,S.(1991年)。andorra内核语言概述。在Eriksson,L.H.,Hallnäs,L.,Schroeder-Heister,P.(编辑)ELP,LNCS(第596卷,第163-179页)中。斯普林格。
[88] Frühwirth,T.,Michel,L.,Schulte,C.(2006)。第13章-过程语言和并发语言中的约束。In Rossi,F.、van Beek,P.、Walsh,T.(编辑)《约束编程手册》,《人工智能基础》(第2卷,第453-494页)。爱思唯尔。
[89] Frühwirth,T.W.(1994)。约束处理规则。《约束编程》(第90-107页)·Zbl 0387.68003号
[90] Frühwirth,T.W.(1998)。约束处理规则的理论与实践。逻辑编程杂志,37(1-3),95-138·Zbl 0920.68029号
[91] Frühwirth,T.W.(2009年)。约束处理规则。剑桥大学出版社·Zbl 1182.68039号
[92] Frühwirth,T.W.,Pierro,A.D.,Wiklicky,H.(2002)。概率约束处理规则。ENTCS,第76页,第115-130页。
[93] Furukawa,K.和Ueda,K.(1988年)。Ghc—一种用于并行编程新时代的语言。在Nori,K.V.和Kumar,S.(编辑)FSTTCS中,《计算机科学讲义》(第338卷,第364-376页)。斯普林格·Zbl 0667.68015号
[94] Gabbrielli,M.和Levi,G.(1990年)。并发约束逻辑程序的展开和定点语义。在Kirchner,H.和Wechler,W.(编辑)ALP,LNCS(第463卷,第204-216页)中。斯普林格·Zbl 0757.68074号
[95] Gabbrielli,M.,Palamidessi,C.,Valencia,F.D.(2010年)。并发和反应式约束编程。Dovier,A.和Pontelli,E.(编辑)《逻辑编程25年展望:意大利逻辑编程协会的成就》,GULP,LNCS(第6125卷,第231-253页)。斯普林格·Zbl 1285.68031号
[96] Gilbert,D.和Palamidessi,C.(2000年)。具有进程移动性的并发约束编程。在Lloyd,J.W.,Dahl,V.,Furbach,U.,Kerber,M.,Lau,K.K.,Palamidessi,C.,Pereira,L.M.,Sagiv,Y.,Stuckey,P.J.(编辑)计算逻辑,LNCS(第1861卷,第463-477页)。斯普林格·Zbl 0983.68617号
[97] Girard,J.Y.(1987)。线性逻辑。理论计算机科学,50,1-102·兹伯利06250.037 ·doi:10.1016/0304-3975(87)90045-4
[98] Gupta,V.、Jagadeesan,R.、Panangaden,P.(1999)。随机过程作为并发约束程序。在Appel,A.W.和Aiken,A.(编辑)POPL(第189-202页)中。ACM公司。
[99] Gupta,V.、Jagadeesan,R.、Saraswat,V.A.(1996)。并发约束编程模型。在Montanari,U.和Sassone,V.(编辑)CONCUR,LNCS(第1119卷,第66-83页)。斯普林格·Zbl 0876.68041号
[100] Gupta,V.、Jagadeesan,R.、Saraswat,V.A.(1997年)。概率并发约束编程。Mazurkiewicz,A.W.和Winkowski,J.(编辑)CONCUR,LNCS(第1243卷,第243-257页)。斯普林格·Zbl 1002.68026号
[101] Gupta,V.,Jagadeesan,R.,Saraswat,V.A.(1998年)。不断变化的计算。计算机程序设计科学,30(1-2),3-49·Zbl 0891.68039号
[102] Gupta,V.、Jagadeesan,R.、Saraswat,V.A.(2002年)。真正并发的约束编程。理论计算机科学,278(1-2),223-255·Zbl 1002.68026号
[103] Gupta,V.、Saraswat,V.和Struss,P.(1995年)。复印机纸张路径的模型。第二届IJCAI定性推理工程问题研讨会论文集·Zbl 1034.68696号
[104] Gutierrez,J.、Pérez,J.A.、Rueda,C.、Valencia,F.D.(2007年)。用于分析生物系统的时间并发约束编程。ENTCS,171(2),117-137·Zbl 1277.68188号
[105] Haemmerlé,R.(2011)。线性逻辑并发约束语言的观测等价性。TPLP,11(4-5),469-485·Zbl 1222.68061号
[106] Haemmerlé,R.,Fages,F.,Soliman,S.(2007年)。线性逻辑并发约束编程中的闭包和模块。Arvind,V.,&Prasad,S.,(编辑)FSTTCS,LNCS(第4855卷,第544-556页)。斯普林格·Zbl 1135.68367号
[107] Halbwachs,N.(1998年)。无功系统的同步编程。在Hu,A.J.和Vardi,M.Y.(编辑)CAV,LNCS(第1427卷,第1-16页)中。斯普林格·Zbl 0943.68025号
[108] Hankin,C.(编辑)(1998年)。编程语言和系统-ESOP’98,LNCS(第1381卷)。斯普林格·Zbl 0946.68143号
[109] Haridi,S.、Janson,S.,Montelius,J.、Franzén,T.、Brand,P.、Boortz,K.、Danielsson,B.、Carlson,B.,Keisu,T.,Sahlin,D.、Sjöland,T.(1993)。使用andorra内核语言(扩展抽象)在sics上进行并发约束编程。PPCP(第107-116页)·Zbl 1077.68066号
[110] Henkin,L.,J.D.,M.,Tarski,A.(1971)。柱代数,第一部分,北荷兰人·Zbl 0121.25402号
[111] Hentenryck,P.V.,Saraswat,V.A.,Deville,Y.(1998年)。约束语言cc(FD)的设计、实现和评估。逻辑编程杂志,37(1-3),139-164·Zbl 0920.68026号
[112] Hermith,D.,Olarte,C.,Rueda,C.,Valencia,F.D.(2011年)。细胞信号系统建模:一种抽象-再定义方法。在Rocha,M.P.,Rodríguez,J.M.C.,Fdez-Riverola,F.,Valencia,A.(编辑)PACBB,《智能和软计算的进展》(第93卷,第321-328页)。斯普林格。
[113] Hildebrandt,T.和Lopez,H.A.(2009年)。通用并发约束编程中与局部知识进行安全模式匹配的类型。In Hill,P.M.和Warren,D.S.(编辑),逻辑编程,第25届国际会议,ICLP 2009,美国加利福尼亚州帕萨迪纳,2009年7月14-17日。《LNCS诉讼》(第5649卷,第417-431页)。斯普林格·Zbl 1251.68156号
[114] Hill,P.M.和Warren,D.S.(编辑)(2009年)。逻辑编程,第25届国际会议,ICLP 2009,美国加利福尼亚州帕萨迪纳,2009年7月14-17日。诉讼记录,LNCS(第5649卷)。斯普林格·Zbl 1167.68003号
[115] Honda,K.,Vasconcelos,V.T.,Kubo,M.(1998)。结构化通信编程的语言原语和类型规则。Hankin,C.(Ed.)《编程语言和系统-ESOP’98》,LNCS(第1381卷,第122-138页)。斯普林格。
[116] Jaffar,J.和Lassez,J.L.(1987年)。约束逻辑编程。POPL(第111-119页)。ACM出版社。
[117] Jaffar,J.和Maher,M.J.(1994年)。约束逻辑编程:一项调查。《逻辑编程杂志》,19&20,503-581·Zbl 0900.68127号
[118] Jagadeesan,R.、Marrero,W.、Pitcher,C.、Saraswat,V.A.(2005)。定时约束编程:一种使用控制的声明性方法。2005年7月11日至13日,葡萄牙里斯本,Barahona,P.,&Felty,A.P.(编辑),第七届国际ACM SIGPLAN声明性编程原则和实践会议记录(第164-175页)。ACM公司。
[119] Jagadeesan,R.,Saraswat,V.,Shanbhouge,V.(1991年)。并发约束编程中的Angelic非确定性。技术报告,施乐公司。
[120] Jouannaud,J.P.(编辑)(1994年)。《计算逻辑中的约束》,第一届国际会议,CCL’94,德国慕尼黑,1994年9月7日至9日,LNCS(第845卷)。斯普林格·Zbl 0802.0038号
[121] Kahn,K.M.和Saraswat,V.A.(1990年)。参与者作为并发约束编程的特例。在Yonezawa,A.(编辑)OOPSLA/ECOOP(第57-66页)。ACM公司。
[122] Kahn,K.M.和Saraswat,V.A.(1990年)。完成并发程序及其执行的可视化。在LPE中(第30-34页)·Zbl 1367.68315号
[123] de Kergommeaux,J.C.和Codognet,P.(1994)。并行逻辑编程系统。ACM计算调查,26(3),295-336·数字对象标识代码:10.1145/185403.185453
[124] Knight,S.、Palamidessi,C.、Panangaden,P.、Valencia,F.D.(2012)。基于约束的过程计算中的空间和认知方式。在Koutny,M.和Ulidowski,I.(编辑)CONCUR,LNCS(第7454卷,第317-332页)。斯普林格·Zbl 1364.68290号
[125] Konink,L.D.,Schrijvers,T.,Demoen,B.(2007年)。用户定义的chr规则优先级。在Leuschel,M.和Podelski,A.(编辑)PPDP(第25-36页)中。ACM公司。
[126] Kwiatkowska,M.Z.(1992年)。并发约束编程中的无限行为和公平性。In de Bakker,J.W.,de Roever,W.P.,Rozenberg,G.(编辑)REX Workshop,LNCS(第666卷,第348-383页)。斯普林格。
[127] Laneve,C.和Montanari,U.(1992年)。cc通道中的移动性。In Havel,I.M.,&Koubek,V.(编辑)MFCS,LNCS(第629卷,第336-345页)。斯普林格·Zbl 1493.68249号
[128] Lehmann,D.J.(1976年)。fixpoint语义的类别。FOCS(第122-126页)。IEEE计算机学会。
[129] Lescaylle,A.和Villanueva,A.(2007年)。使用tccp规范和验证通信协议。过程中。WFLP 07的。
[130] Lescaylle,A.和Villanueva,A.(2009年)。tccp解释器。ENTCS,258(1),63-77·Zbl 1294.68047号
[131] Lescaylle,A.和Villanueva,A.(2009年)。用于生成tccp执行的符号表示的工具。ENTCS,246131-145。
[132] Lescaylle,A.和Villanueva,A.(2010年)。弥合两种并发约束语言之间的差距。Mari no,J.(编辑)WFLP,LNCS(第6559卷,第155-173页)。斯普林格·Zbl 1327.68056号
[133] Lopez,H.A.,Olarte,C.,Pérez,J.A.(2009年)。为声明性结构化通信建立一个统一的框架。在Beresford,A.R.,&Gay,S.J.(编辑)PLACES,EPTCS(第17卷,第1-15页)。
[134] Maher,M.J.(1987年)。一类委托选择程序的逻辑语义。ICLP(第858-876页)。
[135] Manna,Z.和Pnueli,A.(1991)。反应和并发系统的时间逻辑:规范。斯普林格·弗拉格·Zbl 0753.68003号
[136] Marriott,K.和Odersky,M.(1997年)。并发约束编程的汇合演算。理论计算机科学,173(1),209-233·Zbl 0902.68034号 ·doi:10.1016/S0304-3975(96)00196-X
[137] Martinez,T.(2010年)。线性并发约束编程和约束处理规则之间的语义保持转换。在Kutsia,T.、Schreiner,W.、Fernández,M.(编辑)PPDP(第57-66页)。ACM公司。
[138] Mendler,N.P.、Panangaden,P.、Scott,P.J.、Seely,R.A.G.(1995)。并发约束编程的逻辑视图。《北欧计算杂志》,2(2),181-220·Zbl 0839.68020号
[139] Milner,R.(1992)。同步CCS中的有限延迟算子。爱丁堡大学CSR-116-82技术报告。
[140] Milner,R.,Parrow,J.,Walker,D.(1992年)。移动进程微积分,第一部分和第二部分。信息与计算,100(1),1-40·Zbl 0752.68036号 ·doi:10.1016/0890-5401(92)90008-4
[141] Monfroy,E.,Olarte,C.,Rueda,C.(2007年)。约束编程中自适应枚举策略的过程计算。计算机科学研究。
[142] Montanari,U.(1974年)。约束网络:图像处理的基本特性和应用。信息科学,795-132·Zbl 0284.68074号 ·doi:10.1016/0020-0255(74)90008-5
[143] Montanari,U.和Rossi,F.(1991)。并发约束编程中的真正并发性。ISLP(第694-713页)。
[144] Montanari,U.和Rossi,F.(1993年)。上下文发生网络和并发约束编程。在Schneider,H.J.和Ehrig,H.(编辑)Dagstuhl计算机科学图形转换研讨会上,LNCS(第776卷,第280-295页)。斯普林格·Zbl 1494.68183号
[145] Montanari,U.和Rossi,F.(1995)。通过上下文网络进行并发约束编程的并发语义。Saraswat,V.,&Hentenryck,P.V.(编辑)《约束编程的原理与实践》(第3-27页)。麻省理工学院出版社·Zbl 1003.68065号
[146] Montanari,U.和Rossi,F.(1995)。上下文网络。《信息学报》,32(6),545-596·Zbl 0835.68084号
[147] Montanari,U.、Rossi,F.、Bueno,F.、de la Banda,M.J.G.、Hermenegildo,M.V.(1994年)。面向基于并发语义的cc和clp分析。Borning,A.(Ed.)《约束编程的原则与实践》,第二次国际研讨会,PPCP’94,罗萨里奥,奥卡斯岛,华盛顿,1994年5月2日至4日,《LNCS学报》(第874卷,第151-161页)。斯普林格。
[148] Montanari,U.,Rossi,F.,Saraswat,V.A.(1994年)。具有内决定论和非决定论的Cc程序:并发语义。Borning,A.(Ed.)《约束编程的原则与实践》,第二次国际研讨会,PPCP’94,罗萨里奥,奥卡斯岛,华盛顿,1994年5月2日至4日,《LNCS学报》(第874卷,第162-172页)。斯普林格。
[149] 穆勒,T.和穆勒,M.(1997)。WLP中Oz的有限集区间(第17-19页)。
[150] Needham,R.M.和Schroeder,M.D.(1978年)。在大型计算机网络中使用加密进行身份验证。ACM通讯,21(12),993-999·Zbl 0387.68003号 ·数字对象标识代码:10.1145/359657.359659
[151] Nihren,J.和Smolka,G.(1994年)。带约束的高阶规划的汇合关系演算。Jouannaud,J.P.(编辑),《计算逻辑中的约束》,第一届国际会议,1994年9月7日至9日,德国慕尼黑,CCL’94,LNCS(第845卷,第89-104页)。斯普林格·Zbl 1495.68043号
[152] Nielsen,M.,Palamidessi,C.,Valencia,F.D.(2002年)。时间并发约束编程语言的表达能力。PPDP(第156-167页)。ACM公司。
[153] Nielsen,M.,Palamidessi,C.,Valencia,F.D.(2002年)。时间并发约束编程:表示、逻辑和应用。北欧计算杂志,9(1),145-188·Zbl 1018.68019号
[154] Nyström,S.O.和Jonsson,B.(1993)。不确定并发约束编程:非终止计算的定点语义。在ILPS中(第335-352页)。
[155] Olarte,C.、Pimentel,E.、Rueda,C.、Cata no,N.(2012年)。用于自动验证访问权限的线性并发约束方法。在Schreye,D.D.,Janssens,G.,King,A.(编辑)PPDP(第207-216页)中。ACM公司。
[156] Olarte,C.和Rueda,C.(2009年)。一种用于动态多媒体交互系统的声明语言。In Chew,E.,Childs,A.,Chuan,C.H.(编辑)《音乐中的数学和计算》,《计算机和信息科学中的通信》(第38卷,第218-227页)。施普林格-柏林-海德堡。
[157] Olarte,C.和Valencia,F.D.(2008年)。通用定时ccp的表示性:一元fltl和安全闭包运算符的不可判定性。Antoy,S.和Albert,E.(编辑)PPDP(第8-19页)。ACM公司。
[158] Olarte,C.和Valencia,F.D.(2008年)。通用并发约束编程:符号语义和安全应用。在温赖特,R.L.和哈达德,H.(编辑)SAC(第145-150页)。ACM公司。
[159] Ossowski,S.和Lecca,P.(编辑)(2012年)。2012年3月26日至30日,意大利特伦托里瓦,2012年SAC,ACM应用计算研讨会论文集。ACM公司·Zbl 1078.68110号
[160] A.D.帕洛、A.多维尔、F.福戈拉里(2004)。ccp中的蛋白质折叠模拟。Demoen,B.,&Lifschitz,V.(Eds.)《逻辑编程》,第20届国际会议,ICLP 2004,Saint-Malo,France,2004年9月6日至10日,《LNCS学报》(第3132卷,第452-453页)。斯普林格·Zbl 1196.68234号
[161] Pérez,J.A.和Rueda,C.(2008)。时间并发约束规划中的不确定性和概率。In de la Banda,M.G.,&Pontelli,E.(编辑)《逻辑编程》,第24届国际会议,ICLP 2008,意大利乌迪内,2008年12月9日至13日,《LNCS学报》(第5366卷,第677-681页)。斯普林格·Zbl 1185.68451号
[162] Petri,C.A.(1962年)。异步信息流理论的基础。IFIP大会(第386-390页)。
[163] Pettorossi,A.和Proietti,M.(1994年)。逻辑程序的转换:基础和技术。逻辑程序设计杂志,19/20,261-320·Zbl 0942.68528号
[164] Pierro,A.D.和Wiklicky,H.(1998年)。概率并发约束规划的基于banach空间的语义。Lin,X.(编辑)CATS,澳大利亚计算机科学通信(第20卷,第245-260页)。Springer-Verlag新加坡私人有限公司·Zbl 0952.68090号
[165] Pierro,A.D.和Wiklicky,H.(1998年)。概率并发约束编程:走向完全抽象模型。Brim,L.,Gruska,J.,Zlatuska,J.(编辑)MFCS,LNCS(第1450卷,第446-455页)。斯普林格。
[166] Pierro,A.D.和Wiklicky,H.(2000)。并发约束编程:面向概率抽象解释。PPDP(第127-138页)。ACM公司。
[167] del Pilar Mu noz,M.和Hurtado,A.R.(2004)。使用定时并发约束语言编程机器人设备。Wallace,M.(编辑)CP,LNCS(第3258卷,第803页)。斯普林格。
[168] Pilozzi,P.和Schreye,D.D.(2011年)。使用自持性分析改进了chr的终止分析。在Vidal,G.(编辑)LOPSTR,LNCS(第7225卷,第189-204页)。斯普林格·Zbl 1377.68065号
[169] Puckette,M.,Apel,T.,Zicarelli,D.(1998年)。用于Pd和MSP的实时音频分析工具。《国际计算机音乐会议论文集》(第109-112页)。
[170] Reisig,W.(1985)。Petri网:引言,理论计算机科学专著。EATCS系列,(第4卷)。斯普林格·Zbl 0555.68033号
[171] Reiter,R.(1980)。默认推理的逻辑。人工智能,13(1-2),81-132·Zbl 0435.68069号
[172] Réty,J.H.(1998年)。分布式并发约束编程。《信息基础》,34(3),323-346·Zbl 0943.68025号
[173] Roy,P.V.和Haridi,S.(2004年)。计算机程序设计的概念、技术和模型。麻省理工学院出版社。
[174] Rueda,C.、Alvarez,G.、Quesada,L.、Tamura,G.,Valencia,F.D.、Díaz,J.F.、Assayag,G.(2001)。在音乐应用中集成约束和并发对象:微积分及其可视化语言。约束,6(1),21-52·Zbl 1006.68625号 ·doi:10.1023/A:1009849309451
[175] Rueda,C.和Valencia,F.(2004)。中国共产党音乐问题模型化的有效性。软计算,8(9),641-648·Zbl 1063.68694号 ·doi:10.1007/s00500-004-0390-7
[176] Rueda,C.和Valencia,F.D.(2005年)。作为音频处理框架的时间并发约束演算。在声音和音乐计算会议上。
[177] Sangiorgi,D.(2012年)。互模拟和共约导论。剑桥大学出版社·Zbl 1252.68008号
[178] Saraswat,V.(2004)。Euler:用于图形重写的应用lcc语言。技术报告,IBM TJ Watson研究中心。
[179] Saraswat,V.和Lincoln,P.(1992年)。高阶线性并发约束规划。技术报告,施乐公司·Zbl 1006.68625号
[180] Saraswat,V.A.(1992年)。约束系统的类别是笛卡尔封闭的。在LICS中(第341-345页)。IEEE计算机学会。
[181] 萨拉斯瓦特,V.A.(1993)。并发约束编程。麻省理工学院出版社·Zbl 1002.68026号
[182] Saraswat,V.A.,Jagadeesan,R.,Gupta,V.(1994)。时间并发约束编程的基础。在LICS中(第71-80页)。IEEE计算机学会·Zbl 0942.68539号
[183] Saraswat,V.A.、Jagadeesan,R.、Gupta,V.(1996)。定时默认并发约束编程。符号计算杂志,22(5和6),475-520·Zbl 0876.68041号
[184] Saraswat,V.A.,Jagadeesan,R.,Gupta,V.(2003)。jcc:将定时默认并发约束编程集成到java中。Moura-Pires,F.和Abreu,S.(编辑)EPIA,LNCS(第2902卷,第156-170页)。斯普林格。
[185] 萨拉斯瓦特(Saraswat,V.A.)、卡恩(Kahn,K.M.)、利维(Levy,J.)(1990年)。Janus:走向分布式约束编程的一步。NACLP(第431-446页)。
[186] 萨拉斯瓦特(Saraswat,V.A.)和里纳德(Rinard,M.C.)(1990年)。并发约束编程。在Allen,F.E.(编辑)POPL(第232-245页)中。ACM出版社。
[187] Saraswat,V.A.,Rinard,M.C.,Panangaden,P.(1991)。并发约束编程的语义基础。在Wise,D.S.(编辑)POPL(第333-352页)。ACM出版社。
[188] Sarna-Starosta,B.和Ramakrishnan,C.R.(2007)。编译约束处理规则以实现高效的表计算。在Hanus,M.(编辑)PADL,LNCS(第4354卷,第170-184页)。斯普林格。
[189] Sarria,G.(2011)。实时并发约束演算:完整的操作语义。《工程信函》,19(1),38-45。
[190] 佐藤(2008)。棱镜符号统计建模一瞥。《智能信息系统杂志》,31(2),161-176·doi:10.1007/s10844-008-0062-7
[191] Schächter,V.(1998年)。实数上的线性并发约束编程。Maher,M.J.和Puget,J.F.(编辑)CP,LNCS(第1520卷,第400-416页)。斯普林格。
[192] Schrijvers,T.、Stuckey,P.J.、Duck,G.J.(2005)。约束处理规则的抽象解释。2005年7月11日至13日,葡萄牙里斯本,Barahona,P.,&Felty,A.P.(编辑),第七届国际ACM SIGPLAN声明性编程原则和实践会议记录(第218-229页)。ACM公司。
[193] 斯科特·D.S.(1982)。指称语义的域。Nielsen,M.,&Schmidt,E.M.(编辑)ICALP,LNCS,(第140卷,第577-613页)。斯普林格·Zbl 0495.68025号
[194] Shapiro,E.(1989)。并发逻辑编程语言家族。ACM计算调查,21(3),413-510·doi:10.1145/72551.72555
[195] Smolka,G.(1994)。高阶并发约束编程的基础。Jouannaud,J.P.(编辑),《计算逻辑中的约束》,第一届国际会议,1994年9月7日至9日,德国慕尼黑,CCL’94,LNCS(第845卷,第50-72页)。斯普林格·Zbl 1495.68044号
[196] Smolka,G.(1995)。Oz编程模型。van Leeuwen,J.(编辑),《今日计算机科学》,LNCS(第1000卷,第324-343页)。斯普林格。
[197] Smolka,G.(1998)。基于函数编程的并发约束编程(扩展抽象)。Hankin,C.(Ed.)《编程语言和系统-ESOP’98》,LNCS(第1381卷,第1-11页)。斯普林格。
[198] Sneyers,J.、Meert,W.、Vennekens,J.,Kameya,Y.、Sato,T.(2010)。基于Chr(棱镜)的概率逻辑学习。TPLP,10(4-6),433-447·Zbl 1209.68100号
[199] Sneyers,J.,Weert,P.V.,Schrijvers,T.,Koninck,L.D.(2010年)。随着时间的推移:约束处理规则。TPLP,10(1),1-47·Zbl 1186.68096号
[200] Stallman,R.M.和Sussman,G.J.(1977年)。计算机辅助电路分析系统中的正向推理和依赖定向回溯。人工智能,9(2),135-196·Zbl 0372.94024号
[201] Stork,S.、Marques,P.、Aldrich,J.(2009)。默认并发:使用权限在有状态程序中表达数据流。在Arora,S.和Leavens,G.T.(编辑)《OOPSLA Companion》(第933-940页)中。ACM公司·Zbl 1077.68066号
[202] Sussman,G.J.,Jr.,G.L.S.(1980年)。约束(Constraints)——一种表达几乎层次化描述的语言。人工智能,14(1),1-39。
[203] Takeuchi,K.,Honda,K.Kubo,M.(1994年)。一种基于交互的语言及其打字系统。在Halatsis,C.,Maritsas,D.G.,Philokyprou,G.,Theodoridis,S.(编辑)PARLE,LNCS,(第817卷,第398-413页)。斯普林格。
[204] Toro-Bermüdez,M.和Desainte-Catherine,M.(2010年)。并发约束条件分支时间交互分数。在声音和音乐计算会议。西班牙巴塞罗那。
[205] 上田,K.、加藤,N.、原野,K.和瑞穗,K.(2006)。Lmntal作为一种统一的声明性语言:现场演示。在Etalle,S.和Truszczynski,M.(编辑)ICLP,LNCS(第4079卷,第457-458页)。斯普林格·Zbl 1131.68361号
[206] 瓦伦西亚,F.D.(2005年)。无限状态定时ccp过程和一阶ltl的可判定性。理论计算机科学,330(3),577-607·Zbl 1078.68110号 ·doi:10.1016/j.tcs.2004.10.009
[207] Varejao,F.M.、Fromherz,M.P.、Garcia,A.C.B.、de Souza,C.S.(1998)。复印机规范和设计的综合框架。第十三届国际人工智能在工程中的应用大会。计算力学出版物。
[208] Victor,B.和Parrow,J.(1998年)。融合演算中的并发约束。Larsen,K.G.,Skyum,S.,Winskel,G.(编辑)ICALP,LNCS(第1443卷,第455-469页)。斯普林格·Zbl 0915.03029号
[209] Wahls,T.、Leavens,G.T.、Baker,A.L.(2000)。通过并发约束编程执行形式化规范。自动化软件工程,7(4),315-343·Zbl 1034.68696号 ·doi:10.1023/A:1026554217992
[210] Waltz,D.L.(2006)。吉恩·弗雷德和约束计算的根源。约束,11(2-3),87-89。
[211] Wischik,L.和Gardner,P.(2005)。明确融合。理论计算机科学,340(3),606-630·Zbl 1077.68066号 ·doi:10.1016/j.tcs.2005.03.017
[212] Wong,H.C.、Fromherz,M.、Gupta,V.、Saraswat,V.(1995年)。机电控制器的基于控制的编程。在IJCAI可执行时序逻辑研讨会上·Zbl 1207.68220号
[213] Zaffanella,E.,Giacobazzi,R.,Levi,G.(1997年)。并发约束编程中的抽象同步。函数和逻辑编程杂志,1997(6)·Zbl 0924.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。