比约恩·维克多;约阿希姆·帕罗 融合演算中的并发约束。（扩展摘要）。 （英语） Zbl 0915.03029号 Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 455-469 (1998). 融合演算用于对并发约束编程进行建模。它是（pi）-演算的推广和简化。微积分的核心是融合操作，它与范围运算符相互作用，可以识别系统中多个进程之间共享的名称。（rho）演算是并发约束编程语言OZ的基础演算，它的三个基本变体编码在融合演算中。也就是说，\（\rho（x=y）\）在名称方程和合取上使用约束，\（\ rho（x=y，C）\）将常数添加到约束系统，而\（\ρ（x=y，x\neqy）\，则添加不等式。利用一种新的基于约简的语义和融合演算的弱倒钩同余，建立了演算与其编码之间的运算对应关系。这些倒刺同余被证明与先前用于融合演算的超等价一致。关于整个系列，请参见[Zbl 0893.00039号].审核人：D.Gruska（布拉迪斯拉发） 引用于8文件 理学硕士： 03B70号 计算机科学中的逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：融合演算;\（\rho\）-微积分;倒刺同余;并发约束编程 软件：欧兹;皮克特 PDF格式BibTeX公司 XML格式引用 \textit｛B.Victor｝和\textit｛J.Parrow｝，Lect。注释计算。科学。1443455-469（1998年；Zbl 0915.03029）