@incollection{eprints306,
            year = {2005},
       booktitle = {Theoretical Aspects of Computing (ICTAC 2005)},
           title = {Languages and Process Calculi for Network Aware Programming - Short Summary -},
       publisher = {Springer},
           pages = {49--52},
          volume = {3722},
          editor = {Dang Van Hung and Martin Wirsing},
          series = {Lecture Notes in Computer Science},
          author = {Rocco De Nicola},
             url = {http://eprints.imtlucca.it/306/},
        abstract = {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. }
}