Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Stepwise refinement of parallel algorithms
Science of Computer Programming
A calculus of mobile processes, I
Information and Computation
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Limbo: a tuple space based platform for adaptive mobile applications
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
A fine-grained model for code mobility
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Theoretical Computer Science
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An axiomatic basis for computer programming
Communications of the ACM
PICCOLA---a small composition language
Formal methods for distributed processing
A Notation and Logic for Mobile Computing
Formal Methods in System Design
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Automated Software Engineering
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Hi-index | 0.00 |
Coordination is a style of interaction in which information exchange among independent system components is accomplished by means of high-level constructs designed to enhance the degree of decoupling among participants. A decoupled mode of computation is particularly important in the design of mobile systems which emerge dynamically through the composition of independently developed components meeting under unpredictable circumstances and thrust into achieving purposeful cooperative behaviors. This paper examines a range of coordination models tailored for use in mobile computing and shows that the constructs they provide are reducible to simple schema definitions in Mobile UNITY. Intellectually, this exercise contributes to achieving a better operational-level understanding of the relation among several important classes of models of mobility. Pragmatically, this work demonstrates the immediate applicability of Mobile UNITY to the formal specification of coordination constructs supporting mobile computing. Moreover, the resulting schemas are shown to be helpful in reducing the complexity of the formal verification effort.