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


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)


4 Figures and Tables