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 π-calculus into one of these calculi is also presented. © 2005 Elsevier B.V. All rights reserved.

On the expressive power of KLAIM-based Calculi / DE NICOLA, R; Gorla, Daniele; Pugliese, R.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 128(2):(2004), pp. 117-130. (Intervento presentato al convegno 11th International Workshop on Expressiveness in Concurrency (EXPRES 2004) tenutosi a London (UK) nel August 30, 2004) [10.1016/j.entcs.2004.11.032].

On the expressive power of KLAIM-based Calculi

GORLA, DANIELE;
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 π-calculus into one of these calculi is also presented. © 2005 Elsevier B.V. All rights reserved.
2004
11th International Workshop on Expressiveness in Concurrency (EXPRES 2004)
-
04 Pubblicazione in atti di convegno::04c Atto di convegno in rivista
On the expressive power of KLAIM-based Calculi / DE NICOLA, R; Gorla, Daniele; Pugliese, R.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 128(2):(2004), pp. 117-130. (Intervento presentato al convegno 11th International Workshop on Expressiveness in Concurrency (EXPRES 2004) tenutosi a London (UK) nel August 30, 2004) [10.1016/j.entcs.2004.11.032].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/56003
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 17
social impact