TY  - JOUR
UR  - http://www.sciencedirect.com/science/article/pii/S1571066106004269
A1  - De Nicola, Rocco
TI  - From Process Calculi to Klaim and Back
N1  - Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)
Y1  - 2006///
ID  - eprints297
SP  - 159
SN  - 1571-0661
AV  - public
PB  - Elsevier
EP  - 162
VL  - 162
N2  - 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.
KW  - Process Algebras; Network Aware Programming; Behavioural Equivalences; Formal Specifications; Systems Verification
JF  - Electronic Notes in Theoretical Computer Science
ER  -