<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "The Klaim Project: Theory and Practice"^^ . "Klaim (Kernel Language for Agents Interaction and\r\nMobility) is an experimental language specifically designed to\r\nprogram distributed systems consisting of several mobile\r\ncomponents that interact through multiple distributed tuple\r\nspaces. Klaim primitives allow programmers to distribute and\r\nretrieve data and processes to and from the nodes of a net.\r\nMoreover, localities are first-class citizens that can be\r\ndynamically created and communicated over the network. Components,\r\nboth stationary and mobile, can explicitly refer and control the\r\nspatial structures of the network.\r\n\r\nThis paper reports the experiences in the design and development\r\nof Klaim. Its main purpose is to outline the theoretical\r\nfoundations of the main features of Klaim and its programming\r\nmodel. We also present a modal logic that permits reasoning about\r\nbehavioural properties of systems and various type systems that\r\nhelp in controlling agents movements and actions. Extensions of\r\nthe language in the direction of object oriented programming are\r\nalso discussed together with the description of the implementation\r\nefforts which have lead to the current prototypes. "^^ . "2003" . "2874" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Daniele"^^ . "Gorla"^^ . "Daniele Gorla"^^ . . "Corrado"^^ . "Priami"^^ . "Corrado Priami"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "GianLuigi"^^ . "Ferrari"^^ . "GianLuigi Ferrari"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Lorenzo"^^ . "Bettini"^^ . "Lorenzo Bettini"^^ . . "Betti"^^ . "Venneri"^^ . "Betti Venneri"^^ . . "Eugenio"^^ . "Moggi"^^ . "Eugenio Moggi"^^ . . "Viviana"^^ . "Bono"^^ . "Viviana Bono"^^ . . . . . "HTML Summary of #317 \n\nThe Klaim Project: Theory and Practice\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .