Paper Details

@InProceedings{BarnesWelch04,
  title = "{C}ommunicating {M}obile {P}rocesses",
  author= "Barnes, Frederick R. M. and Welch, Peter H.",
  editor= "East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy M. R. and Welch, Peter H.",
  pages = "201--218",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn= "1 58603 458 8",
  year= "2004",
  month= "sep",
  abstract= "This paper presents a new model for mobile processes in
     occam-pi. A process, embedded anywhere in a dynamically
     evolving network, may suspend itself mid-execution, be
     safely disconnected from its local environment, moved (by
     communication along a channel), reconnected to a new
     environment and reactivated. Upon reactivation, the process
     resumes execution from the same state (i.e. data values and
     code positions) it held when it suspended. Its view of its
     environment is unchanged, since that is abstracted by its
     synchronisation (e.g. channels and barriers) interface and
     that remains constant. The environment behind that interface
     will (usually) be completely different. The mobile process
     itself may contain any number of levels of dynamic
     sub-network. This model is simpler and, in some ways, more
     powerful than our earlier proposal, which required a process
     to terminate before it could be moved. Its formal semantics
     and implementation, however, throw up extra challenges. We
     present details and performance of an initial
     implementation."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.