Sciweavers

Share
DC
2010

A taxonomy of process calculi for distribution and mobility

9 years 10 months ago
A taxonomy of process calculi for distribution and mobility
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus, and some dialects of Mobile/Boxed/Safe ambients. In particular, we focus on their relative expressive power, i.e. we try to encode every language in the other while respecting some reasonable properties. According to the possibility or the impossibility for such results, we set up a taxonomy of these languages. Our study enables understanding, for every pair of calculi, which features of one can be rendered in the other and how this is possible, or which features cannot be rendered and why this is impossible. Contents
Daniele Gorla
Added 01 Mar 2011
Updated 01 Mar 2011
Type Journal
Year 2010
Where DC
Authors Daniele Gorla
Comments (0)
books