Expressiveness and distributed implementation of concurrent calculi with link mobility

摘要

The #pi# -calculus [6] has introduced in concurrency the concept of link mobility, namely the possibility of communicating values which can afterwards be used as communication means (i.e.channels). Since the original work on the #pi# -calculus, many variants and related paradigms have been introduced, including the asynchronous #pi# -calculus [1,4,5], the #pi# -calculus with input-guarded choice [8], the #pi# -calculus with internal communication [11], the Fusion Calculus [10], and the Join Calulus [2,3]. In general, these variants introduce restrictions that allow for a simpler formal treatment, and/or a more direct modeling of some of the features of distributed systems (like asynchronous communication).45