Some Results in the Joint-Calculus
Some Results in the Joint-Calculus
复制标题
联合演算的一些结果
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
J. Lévy
中科院分区：
文献类型：
--
作者：
J. Lévy
Join-Alculus是具有迁移功能的分布式编程语言的模型。这是基于静态范围和局部性和故障的明确概念的异步过程积分。它允许标准的多态性ML样打字，从而以现实的编程语言进行集成。它在CAML语言之上具有分布式实现。我们在这里审查了联接钙库中最近获得的一些结果。
The join-calculus is a model for distributed programming languages with migratory features. It is an asynchronous process calculus based on static scope and an explicit notion of locality and failures. It allows standard polymorphic ML-like typing and thus an integration in a realistic programming language. It has a distributed implementation on top of the Caml language. We review here some of the results recently obtained in the join-calculus.