From Process Calculi to Klaim and Back

doi:10.1016/j.entcs.2005.12.110

Electronic Notes in Theoretical Computer Science

Volume 162, 29 September 2006, Pages 159-162

https://doi.org/10.1016/j.entcs.2005.12.110 Get rights and content

Under a Creative Commons license

open access

Abstract

We briefly describe the motivations and the background behind the design of Klaim, a process description language that has proved to be suitable for describing a wide range of distributed applications with agents and code mobility. We argue that a drawback of Klaim is that it is neither a programming language, nor a process calculus. We then outline the two research directions we have pursued more recently. On the one hand we have evolved Klaim to a full-fledged language for distributed mobile programming. On the other hand we have distilled the language into a number of simple calculi that we have used to define new semantic theories and equivalences and to test the impact of new operators for network aware programming.

Keywords

Process Algebras

Network Aware Programming

Behavioural Equivalences

Formal Specifications

Systems Verification

Cited by (0)

¹: I would like to thank Luca Aceto and Andy Gordon for encouragement to write these notes and all organizers of the workshop for the invitation. But I need to say that I am most indebted to all researchers that through their work have contributed to the development of Klaim and its variants.