relation: http://eprints.imtlucca.it/311/
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: 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.
publisher: Elsevier
date: 2005
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/311/1/DeNicola_Gorla_Pugliese_2005.pdf
identifier:   De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario  On the Expressive Power of Klaim-based Calculi.  Electronic Notes in Theoretical Computer Science, 128 (2).  pp. 117-130.  ISSN 1571-0661      (2005)  
relation: http://www.sciencedirect.com/science/article/pii/S157106610500158
relation: 10.1016/j.entcs.2004.11.032