Preliminary Version On the Expressive Power of Klaim-based Calculi 1

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… (More)

Topics

4 Figures and Tables