relation: http://eprints.imtlucca.it/316/
title: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
creator: Bettini, Lorenzo
creator: De Nicola, Rocco
creator: Loreti, Michele
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2004
type: Article
type: PeerReviewed
identifier:   Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele  Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.  Automated Software Engineering, 11 (3).  pp. 245-288.  ISSN 0928-8910      (2004)  
relation: http://dx.doi.org/10.1023/B:AUSE.0000028536.34044.47
relation: 10.1023/B:AUSE.0000028536.34044.47