<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming"^^ . "A general framework for network aware programming is presented that consists of a language for programming mobile applications, a logic for specifying properties of the applications and an automatic tool for verifying such properties. The framework is based on X-KLAIM, eXtended KLAIM, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple tuple spaces and mobile code. The proposed logic is a modal logic inspired by Hennessy-Milner logic and is interpreted over the same labelled structures used for the operational semantics of X-KLAIM. The automatic verification tool is based on a complete proof system that has been previously developed for the logic."^^ . "2004" . "11" . "3" . . "Springer"^^ . . . "Automated Software Engineering"^^ . . . "09288910" . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Lorenzo"^^ . "Bettini"^^ . "Lorenzo Bettini"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . . . . "HTML Summary of #316 \n\nFormulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .