TY  - CHAP
TI  - Languages and Process Calculi for Network Aware Programming - Short Summary -
UR  - http://dx.doi.org/10.1007/11560647_3
A1  - De Nicola, Rocco
Y1  - 2005///
M1  - 3722
SP  - 49
ID  - eprints306
AV  - none
SN  - 3-540-29107-5
EP  - 52
ED  - Van Hung, Dang
ED  - Wirsing, Martin
T2  - Theoretical Aspects of Computing (ICTAC 2005)
PB  - Springer
T3  - Lecture Notes in Computer Science
N2  - We describe motivations and background behind the design of Klaim, a process description language that has proved to be suitable for describing a wide range of applications distributed over wide area networks 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 recently pursued. On the one hand we have evolved Klaim to a full-fledged language for highly distributed mobile programming. On the other hand we have distilled the language to 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. 
ER  -