relation: http://eprints.imtlucca.it/306/
title: Languages and Process Calculi for Network Aware Programming - Short Summary -
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Van Hung, Dang
contributor: Wirsing, Martin
date: 2005
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco  Languages and Process Calculi for Network Aware Programming - Short Summary -.   In:  Theoretical Aspects of Computing (ICTAC 2005).   Lecture Notes in Computer Science, 3722 .  Springer, pp. 49-52.  ISBN 3-540-29107-5      (2005)  
relation: http://dx.doi.org/10.1007/11560647_3
relation: 10.1007/11560647_3