Skip to Main content Skip to Navigation
Conference papers

Adding recursion to Dpi (Extended abstract)

Abstract : Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language increases significantly its descriptive power. But typing recursive processes requires the use of potentially infinite types. We show that the capability-based typing system of Dpi can be extended to co-inductive types so that recursive processes can be successfully supported. We also show that, as in the pi-calculus, recursion can be implemented via iteration. This translation improves on the standard ones by being compositional but still requires co-inductive types and comes with a significant migration overhead in our distributed setting.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00140655
Contributor : Samuel Hym Connect in order to contact the contributor
Submitted on : Sunday, April 8, 2007 - 8:59:58 PM
Last modification on : Saturday, June 25, 2022 - 8:46:42 PM

Links full text

Identifiers

Collections

Citation

Samuel Hym, Matthew Hennessy. Adding recursion to Dpi (Extended abstract). May 2006, pp.115-133, ⟨10.1016/j.entcs.2005.09.029⟩. ⟨hal-00140655⟩

Share

Metrics

Record views

74