@article{eprints299,
           title = {On the expressive power of KLAIM-based calculi},
          author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese},
            year = {2006},
         journal = {Theoretical Computer Science},
          number = {3},
          volume = {356},
            note = {Issue title: Expressiveness in Concurrency.
This work is the full version of http://eprints.imtlucca.it/311/.},
           pages = {387--421},
       publisher = {Elsevier},
        abstract = {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 {\ensuremath{\pi}}-calculus.},
        keywords = {Process calculi; Network-aware programming; Expressiveness; Language encodings; Behavioural equivalences; Bisimulation},
             url = {http://eprints.imtlucca.it/299/}
}