<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Global Computing in a Dynamic Network of Tuple Spaces"^^ . "We present a calculus inspired by Klaim whose main features are: explicit process distribution and node interconnections, remote operations, process mobility and asynchronous communication through distributed tuple spaces. We first introduce a basic language where connections are reliable and immutable; then, we enrich it with two more advanced features for global computing, i.e. failures and dynamically evolving connections. In each setting, we use our formalisms to specify some non-trivial global computing applications and exploit the semantic theory based on an observational equivalence to equationally establish properties of the considered case-studies."^^ . "2005" . "3454" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Daniele"^^ . "Gorla"^^ . "Daniele Gorla"^^ . . "Gian Pietro "^^ . "Picco"^^ . "Gian Pietro Picco"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Marie"^^ . "Jacquet"^^ . "Marie Jacquet"^^ . . . . . "HTML Summary of #301 \n\nGlobal Computing in a Dynamic Network of Tuple Spaces\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .