A calculus of mobile processes, I
Information and Computation
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theoretical Computer Science
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
A Hands-On Look at Java Mobile Agents
IEEE Internet Computing
An Asynchronous Model of Locality, Failurem and Process Mobility
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
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
XMILE: An XML Based Approach for Incremental Code Mobility and Update
Automated Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using mobile architecture modeling and simulation for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Gypsy: a component-based mobile agent system
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Modeling and analyzing mobile software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A modal language for the safety of mobile values
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Towards an abstraction for remote evaluation in Erlang
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Code management automation for Erlang remote actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
| Hi-index | 0.00 |
In this paper we take the extreme view that every line of code is potentially mobile, i.e., may be duplicated and/or moved from one program context to another on the same host or across the network. Our motivation is to gain a better understanding of the range of constructs and issues facing the designer of a mobile code system, in a setting that is abstract and unconstrained by compilation and performance considerations traditionally associated with programming language design. Incidental to our study is an evaluation of the expressive power of Mobile UNITY, a notation and proof logic for mobile computing.