Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Communication and concurrency
Programming languages for mobile code
ACM Computing Surveys (CSUR)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Resource access control in systems of mobile agents
Information and Computation
The Java Programming Language
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
An Overview of Mobile Agent Programming
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Interactive Mobile Agents in X-Klaim
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Analyzing Mobile Code Languages
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Editorial message: special track on coordination models, languages and applications
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Portunes: representing attack scenarios spanning through the physical, digital and social domain
ARSPA-WITS'10 Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hi-index | 0.00 |
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for distributed network-aware mobile applications should provide explicit mechanisms to handle it. In this paper, we address the problem of expressing dynamic changes of node connectivity at linguistic level and, in particular, we focus on a slight extension of the language KLAIM, that is targeted to this aim. The extension consists of the introduction of a new category of processes that, in addition to the standard process operations, can execute a few new coordination operations for establishing new connections, accepting connection requests and removing connections. Our extension puts forward a clean separation between the coordinator level and the user level and, hence, it is modular enough to be easily applicable also to other network-aware languages. We will also show that our approach can be used as a guide for actual distributed (i.e. without a single centralized server) implementations of mobile systems.