Parallel program design: a foundation
Parallel program design: a foundation
Mobile wireless computing: challenges in data management
Communications of the ACM
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
The Challenges of Mobile Computing
Computer
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A Calculus for Mobile Network Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Pigeon: A Specification Language for Mobile Agent Applications
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Modeling adaptive behaviors in Context UNITY
Theoretical Computer Science
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Security policy foundations in context UNITY
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
A language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |
We define a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. The definition is general enough to encompass a system of mobile hosts moving in physical space as well as a system of migrating software agents implemented on a set of possibly non-mobile hosts. In this paper, we present Mobile UNITY, a notation for expressing mobile computations and a logic for reasoning about their temporal properties. Our goal is to find a minimalist model of mobile computation that will allow us to express mobile components in a modular fashion and to reason formally about the possible behaviors of a system composed from mobile components. A simplified serial communication protocol among components which can move in space serves as an illustration for the notation.