eprintid: 311
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/11
datestamp: 2011-05-24 09:09:12
lastmod: 2014-10-07 14:54:12
status_changed: 2011-05-24 09:09:12
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Gorla, Daniele
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: On the Expressive Power of Klaim-based Calculi
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Global Computing; Code Migration; Tuple Spaces; Expressivity; Encodings
note: Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004)
abstract: 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.
date: 2005
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 128
number: 2
publisher: Elsevier
pagerange: 117-130
id_number: 10.1016/j.entcs.2004.11.032
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S157106610500158
funders: This work has been partially supported by EU FET – Global Computing initiative, projects MIKADO IST-2001-32222. The funding body is not responsible for any use that might be made of the results presented here.
citation:   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)  
document_url: http://eprints.imtlucca.it/311/1/DeNicola_Gorla_Pugliese_2005.pdf