<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Languages and Process Calculi for Network Aware Programming - Short Summary -"^^ . "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. "^^ . "2005" . "3722" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Dang"^^ . "Van Hung"^^ . "Dang Van Hung"^^ . . . . . "HTML Summary of #306 \n\nLanguages and Process Calculi for Network Aware Programming - Short Summary -\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .