relation: http://eprints.imtlucca.it/299/
title: On the expressive power of KLAIM-based calculi
creator: De Nicola, Rocco
creator: Gorla, Daniele
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Elsevier
date: 2006
type: Article
type: PeerReviewed
identifier:   De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  On the expressive power of KLAIM-based calculi.  Theoretical Computer Science, 356 (3).  pp. 387-421.  ISSN 0304-3975      (2006)  
relation: http://www.sciencedirect.com/science/article/pii/S0304397506001484
relation: 10.1016/j.tcs.2006.02.007