Rocco De Nicola, Daniele Gorla, Rosario Pugliese

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 pi-calculus.

(keywords) Bisimulation

Theoretical Computer Science 356(3), pp. 387-421, maggio 2006, Elsevier.

@article{klaim-tcs356,
Author = {De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario},
Doi = {10.1016/j.tcs.2006.02.007},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Keywords = {Bisimulation},
Note = {11th International Workshop on Expressiveness in Concurrency (EXPRESS'04)},
Number = 3,
Pages = {387--421},
Title = {On the Expressive Power of {KLAIM}-based Calculi},
Url = {http://www.sciencedirect.com/science/article/pii/S0304397506001484},
Volume = 356,
Year = 2006}

Pubblicazione

— autori/autrici

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Theoretical Computer Science

— volume

356

— numero

3

— pagine

387-421

— data di pubblicazione

maggio 2006

URL

pagina originale

Identificatori

— DOI

10.1016/j.tcs.2006.02.007

— print ISSN

0304-3975

BibTeX

— BibTeX ID
klaim-tcs356
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY