Kazunori上田 基于约束的并发性及其他。 （英语） Zbl 1316.68108号 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，327-331（2006）。 概要：基于约束的并发是一种简单而优雅的具有单调移动通道的并发形式，其历史始于20世纪80年代初，是逻辑编程的一个子领域。虽然它很少被认为是过程计算，但它们之间有着密切的联系。在本文中，我们试图向进程计算社区传达基于约束的并发的本质。我们还描述了它是如何顺利演变为LMNtal（发音为“elemental”）的，LMNtall是一种基于层次图重写的语言模型。有关整个系列，请参见[Zbl 1273.68010号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N17号 逻辑编程 第68季度第42季度 语法和重写系统 关键词：基于约束的并发；并发约束编程；并发逻辑程序设计；流动性；层次图重写；多集重写；LMN总计 软件：GHC公司；LMN总计 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda}，电子。注释Theor。计算。科学。162327--331（2006；Zbl 1316.68108） 全文： 内政部 参考文献： [1] Ueda，K.，“保护喇叭条款”，ICOT技术报告TR-103，ICOT，东京，1985年。也在逻辑编程'85，LNCS中221; Ueda，K.，“保护号角条款”，ICOT技术报告TR-103，ICOT，东京，1985年。也在逻辑编程'85，LNCS中221 [2] 夏皮罗，E.Y。；沃伦医学博士。；Fuchi，K。；Kowalski，R.A。；Furukawa，K。；上田，K。；Kahn，K.M。；Chikayama，T。；Tick，E.，《第五代项目：个人视角》，ACM委员会，36，46-103（1993） [3] Ueda，K.，《并发逻辑/约束编程：未来十年》（Concurrent Logic/Constraint Programming:The Next 10 Years），（Apt，K.R.；etal.，《逻辑编程范式：25年展望》（The Logic Programming Paradigm:A 25-Year Perspective，1999），施普林格出版社，53-71 [4] Ueda，K.，《资源传递并发编程》（Proc.TACS 2001）。程序。TACS 2001，LNCS，2215（2001），Springer），95-126·Zbl 1087.68547号 [5] Ueda，K.，LMNtal:带链接和膜的语言模型（Proc.WMC5）。程序。WMC5，LNCS，3365（2005），施普林格），110-125·Zbl 1117.68415号 [6] LMNtal主页，URL 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。