TY  - JOUR
AV  - none
ID  - eprints299
TI  - On the expressive power of KLAIM-based calculi
UR  - http://www.sciencedirect.com/science/article/pii/S0304397506001484
IS  - 3
KW  - Process calculi; Network-aware programming; Expressiveness; Language encodings; Behavioural equivalences; Bisimulation
EP  - 421
VL  - 356
PB  - Elsevier
SP  - 387
A1  - De Nicola, Rocco
A1  - Gorla, Daniele
A1  - Pugliese, Rosario
N1  - Issue title: Expressiveness in Concurrency.
This work is the full version of http://eprints.imtlucca.it/311/.
JF  - Theoretical Computer Science
N2  - We study the expressive power of variants of KLAIM, an experimental language with programming primitives for network-aware programming 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 written in Java. In this paper, the expressivity of its constructs is tested by distilling from it a few, more and more foundational, languages and by studying the encoding of each of them into a simpler one. The expressive power of the considered calculi is finally tested by comparing one of them with asynchronous ?-calculus.
SN  - 0304-3975
Y1  - 2006///
ER  -