×
杰拉德·贝里；杰拉德·布多尔

化学提取机。 （英语） Zbl 0747.68013号

西奥。计算。科学。 96，第1期，217-248（1992）.
摘要：我们介绍了一种新的基于化学隐喻的抽象机器，它用于J.-P.班纳特和D.勒梅泰勒[科学计算程序.15（1），55-77（1990；Zbl 0715.68054号)]. 机器的状态是漂浮分子根据反应规则相互作用的化学溶液。通过将亚溶液封装在膜内，迫使反应在局部发生，可以将溶液分层。我们通过描述TCCS和CCS过程演算的操作语义以及R.米尔纳,J.帕罗和D.Walker的[移动进程演算；第1部分，爱丁堡：大学计算机科学系，（LFCS Report Ser.；ECS-LFCS-89-85）/（Internal Reg.；CSR-302-89）（1989）]。使用的移动进程的微积分R.米尔纳[作为进程的功能，ICALP’90，Lect.Notes Compute.Sci.443，167-180（1990）]对lambda-calculus进行编码。我们还介绍了如何提取类似于的高阶并发（lambda）演算G.布多尔[面向并行和通信系统的lambda-calculus；TAPSOFT，Lect.Notes Compute.Sci.351，149-161（1989）]出自化学抽象机的基本概念。

引用于2评论
引用于136文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
第68季度55 计算理论中的语义学

关键词：

并行计算；并行计算模型；代数过程计算；移动进程；并发\（\lambda\）-演算；化学提取机

引文：

Zbl 0715.68054号

软件：

联合
PDF格式BibTeX公司 XML格式引用
\textit{G.Berry}和\textit{G.Boudol}，Theor。计算。科学。96，第1号，217--248（1992；Zbl 0747.68013）
全文： 内政部

参考文献：

[1] M.阿巴迪。；Cardelli，L。；居里，P.-L。；Lévy，J.-J.，显式替换，Proc。第17届ACM年交响乐会。《程序设计语言原理》，31-46（1990）
[2] Abramsky，S.，《惰性λ-演算》（Turner，D.，函数编程研究课题（1989），Addison-Wesley：Addison-Whesley Reading，MA），65-116
[3] Arnold，A.，《通信过程的统计》，RAIRO Inform。塞奥尔。申请。，15, 2, 103-139 (1981) ·Zbl 0463.68033号
[4] Banátre，J.-P。；A.库坦。；Le Métayer，D.，用于多集转换的并行机及其编程风格，《未来一代计算》。系统，4133-144（1988）
[5] Banátre，J.-P。；Le Métayer，D.，《伽玛模型及其编程学科》，《科学计算》。编程，15，55-77（1990）·Zbl 0715.68054号
[6] Barendregt，H.，《Lambda-Calculus，其语法和语义》，第103卷（1981年），《北荷兰：北荷兰阿姆斯特丹逻辑研究》·Zbl 0467.03010号
[7] Berry，G.，Séquentialite de l’evaluation formelle desλ-expressions，（Robinet，B.，Program Transformations 3rd Internat.Coll.on Programming（1978），Dunod:Dunod Paris），第67-80页·兹伯利0416.03017
[8] Boudol，G.，过程代数计算注释，（Apt，K.P.，并发系统的逻辑和模型（1985）），261-303，北约ASI系列F13·Zbl 0578.68025号
[9] Boudol，G.，《面向并行和通信系统的lambda-calculus》（TAPSOFT 1989，第351卷（1989），施普林格：施普林格-柏林），149-161，计算机科学讲稿
[10] 北卡罗来纳州Carriero。；Gelerntner，D.，Linda in context，Comm.ACM，32，4，444-458（1989）
[11] Chandy，M。；Misra，J.，并行程序设计，基金会（1988），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0717.68034号
[12] Curien，P.-L.，《分类组合器、序列算法和函数编程》（1986），威利：威利纽约，理论计算机科学研究笔记·Zbl 0643.68004号
[13] Darondeau，P.，《关于公平异步》，Theoret。计算。科学。，37, 305-336 (1985) ·兹比尔0607.68016
[14] De Nicola，R.，《过渡系统的扩展等价性》，《信息学报》。，24, 211-237 (1987) ·Zbl 0636.68069号
[15] 德尼古拉，R。；Hennessy，M.，《没有τ’s的CCS》（TAPSOFT’87，卷249（1987），施普林格：施普林格柏林），138-152，计算机科学讲稿·Zbl 0614.68025号
[16] 德尼古拉，R。；Hennessy，M.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[17] De Simone，R.，Meije-SCCS中的高级同步装置，Theoret。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号
[18] 德加诺，P。；德尼古拉，R。；Montanari，U.，基于条件/事件系统的CCS分布式操作语义，Acta Inform。，26, 59-91 (1988) ·Zbl 0656.68061号
[19] 哈丁，T。；Lévy，J.-J.，《替代的汇合演算》，法国-日本人工智能和计算机科学研讨会（1989年），伊豆
[20] Hennessy，M.，《观察过程》，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，《逻辑和并发模型中的线性时间、分支时间和偏序》，第354卷（1989年），Springer:Springer Berlin），173-200，计算机科学讲义·Zbl 0683.68021号
[21] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0637.68007号
[22] Kahn，G.，《并行处理简单语言的语义》，IFIP大会1974，993-998（1974）
[23] Landin，P.，表达式的力学评估，计算。J.，6308-320（1964年）·Zbl 0122.36106号
[24] Meseguer，J.，《重写为并发的统一模型》，SRI国际技术报告（1990）
[25] Milner，R.，通信顺序过程（1989），Prentice Hall:Prentice Hall Englewood Cliffs，NJ，国际计算机科学系列·Zbl 0683.68008号
[26] Milner，R.，《作为过程的功能》（ICALP’90，第443卷（1990），Springer:Springer Berlin），167-180，计算机科学讲稿·Zbl 0766.68036号
[27] Milner，R.（程序语义和机械化证明，第82卷（1976），数学中心：阿姆斯特丹数学中心），3-44，数学中心专题·Zbl 0437.68006号
[28] 米尔纳，R。；鹦鹉，J。；Walker，D.，《移动过程演算》（LFCS（1989），爱丁堡大学），ECS-LFCS-89-85
[29] Plotkin，G.，《操作语义的结构方法》（1981），奥胡斯大学，DAIMI FN-19报告
[30] Reisig，W.，《Petri Nets:导论》（1985），Springer:Springer Berlin，EATCS理论计算机科学专著·Zbl 0555.68033号
[31] 汤姆森，B.，《高阶通信系统的微积分》，Proc。第16届ACM年会。《程序设计语言原理》，143-154（1989）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。