Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Parallel program design: a foundation
Parallel program design: a foundation
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, II
Information and Computation
Model checking mobile processes
Information and Computation
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
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software update via mobile agent based programming
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 Java Programming Language
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
Proceedings of the 5th International Conference on Coordination Models and Languages
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Spatial Logic for Concurrency
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Persistant Linda: Linda + Transactions + Query Processing
Research Directions in High-Level Parallel Programming Languages
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Interactive Mobile Agents in X-Klaim
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
TQL Algebra and its Implementation
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Logical properties of name restriction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
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 |
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.