On the minimal synchronism needed for distributed consensus
Journal of the ACM (JACM)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel program design: a foundation
Parallel program design: a foundation
A calculus of mobile processes, I
Information and Computation
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
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)
Communicating sequential processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
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 Asynchronous Model of Locality, Failurem and Process Mobility
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Foundations of Actor Semantics
Foundations of Actor Semantics
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Proceedings of the 21st international conference on Software engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Algebraic software architecture reconfiguration
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
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Developing mobile computing applications with LIME
Proceedings of the 22nd international conference on Software engineering
Rapid development of dependable applications over Ad hoc networks
ACM SIGSOFT Software Engineering Notes
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Notation and Logic for Mobile Computing
Formal Methods in System Design
An Architecture for Supporting Multi-Device, Client-Adaptive Services
Annals of Software Engineering
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Adaptive Core Selection and Migration Method for Multicast Routing in Mobile Ad Hoc Networks
IEEE Transactions on Parallel and Distributed Systems
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
An Exercise in Formal Reasoning about Mobile Communications
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
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
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Building and Selecting Mobile Agents for Network Management
Journal of Network and Systems Management
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
A process-based methodology for designing event-based mobile composite applications
Data & Knowledge Engineering
Modeling adaptive behaviors in Context UNITY
Theoretical Computer Science
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Reusable mobile agents for cluster computing
International Journal of High Performance Computing and Networking
A Specification Framework for Earth-Friendly Logistics
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |
Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing reliable systems for managing reconfiguration and disconnection of components. Design of such systems requires tools and techniques appropriate to the task. Many formal models of computation, including UNITY, are not adequate for expressing reconfiguration and disconnection and are, therefore, inappropriate vehicles for investigating the impact of mobility on the construction of modular and composable systems. Algebraic formalisms such as the 驴-calculus have been proposed for modeling mobility. This paper addresses the question of whether UNITY, a state-based formalism with a foundation in temporal logic, can be extended to address concurrent, mobile systems. In the process, we examine some new abstractions for communication among mobile components that express reconfiguration and disconnection and which can be composed in a modular fashion.