%0 Journal Article
%@ 0304-3975
%A De Nicola, Rocco
%A Gorla, Daniele
%A Pugliese, Rosario
%D 2006
%F eprints:299
%I Elsevier
%J Theoretical Computer Science
%K Process calculi; Network-aware programming; Expressiveness; Language encodings; Behavioural equivalences; Bisimulation
%N 3
%P 387-421
%T On the expressive power of KLAIM-based calculi
%U http://eprints.imtlucca.it/299/
%V 356
%X 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.
%Z Issue title: Expressiveness in Concurrency.  This work is the full version of http://eprints.imtlucca.it/311/.