TY  - JOUR
IS  - 2
JF  - Electronic Notes in Theoretical Computer Science
Y1  - 2005///
SP  - 117
PB  - Elsevier
A1  - De Nicola, Rocco
A1  - Gorla, Daniele
A1  - Pugliese, Rosario
VL  - 128
UR  - http://www.sciencedirect.com/science/article/pii/S157106610500158
KW  - Global Computing; Code Migration; Tuple Spaces; Expressivity; Encodings
AV  - public
TI  - On the Expressive Power of Klaim-based Calculi
N2  - In this work, we study the expressive power of variants of Klaim, an experimental language with programming primitives for global computing that combines the process algebra approach with the coordination-oriented one. Klaim has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system based on Java. The expressivity of its constructs is tested by distilling from it some (more and more foundational) calculi and studying the encoding of each of the considered languages into a simpler one. An encoding of the asynchronous [pi]-calculus into one of these calculi is also presented.
SN  - 1571-0661
EP  - 130
N1  - Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004)
ID  - eprints311
ER  -