Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communications of the ACM
Communication and concurrency
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
Programming languages for mobile code
ACM Computing Surveys (CSUR)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Seven good reasons for mobile agents
Communications of the ACM
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
A Spatial Logic for Concurrency
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Logical properties of name restriction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
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
Model checking mobile stochastic logic
Theoretical Computer Science
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Towards a Logic for Performance and Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Hi-index | 0.00 |
The wide-spreading of Internet has stimulated the introduction of new programming paradigms and languages that model interactions among hosts by means of mobile agents, and that are centered around the notions of location awareness. In this paper we show how to use formal tools, specifically a modal logic, for formalizing properties for mobile agent systems. We concentrate on one of these new languages, KLAIM, and we use it to specify a system that permits maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm.