TY  - JOUR
IS  - 3
JF  - Automated Software Engineering
PB  - Springer
ID  - eprints316
EP  - 288
N2  - 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.
SN  - 0928-8910
KW  - modal logics - mobile agents - network aware programming - verification - concurrency - programming languages
UR  - http://dx.doi.org/10.1023/B:AUSE.0000028536.34044.47
A1  - Bettini, Lorenzo
A1  - De Nicola, Rocco
A1  - Loreti, Michele
Y1  - 2004///
VL  - 11
SP  - 245
TI  - Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
AV  - none
N1  - Published in Special Issue on Distributed and Mobile Software Engineering.
ER  -