×

化学模型中的经典配位机制。 (英语) Zbl 1194.68098号

Bertot,Yves(编辑)等人,《从语义学到计算机科学》。纪念吉尔斯·卡恩的文章。剑桥:剑桥大学出版社(ISBN 978-0-521-51825-3/hbk)。29-50 (2009).
摘要:最初,化学计算模型被认为是一种简单而优雅的并行编程范式。数据被视为“分子”,计算被视为“化学反应”:如果一些分子满足预定的反应条件,它们就会被反应的“产物”取代。当没有反应可能时,达到正常形式,程序终止。本文描述了化学环境中的经典协调机制和并行规划模型。所有这些例子都表明了化学范式的简单性和表达性。我们特别关注被称为Kahn过程网络的简单而成功的并行计算模型的化学描述。
本文的精髓来源于第一作者(Jean-Pierre Banátre)与Gilles Kahn(本文致力于纪念Gilles Khan)就一般编程和化学编程相关主题进行的讨论。Gilles喜欢Gamma模型背后的想法,以及与之密切相关的Berry和Boudol的CHAM,因为其基本原理非常简单优雅。Jean-Pierre最后一次有机会向Gilles讲述这些想法,是在他向Gille介绍LNCS卷时,该卷专门用于非传统编程范式研讨会。10分钟的任命(当时他是INRIA的首席执行官)持续了很长时间。Gilles很好,心情也很好,就像往常一样,他显然很乐意谈论自己喜欢的话题。他讲了很多关于(lambda)-微积分、约简原理、(beta)-约简……真是一个很棒的纪念品!
关于整个系列,请参见[Zbl 1177.68004号].

MSC公司:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
2005年第68季度 计算模型(图灵机等)(MSC2010)

关键词:

化学计算模型

软件:

HOCL公司
PDF格式BibTeX公司 XML格式引用