Paper Details

@InProceedings{BonniciWelch11,
  title = "{M}obile {P}rocesses and {C}all {C}hannels with {V}ariant {I}nterfaces (a {D}uality)",
  author= "Bonnici, Eric and Welch, Peter H.",
  editor= "Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan Bækgaard and Kerridge, Jon and Broenink, Jan F. and Barnes, Frederick R. M.",
  pages = "377--377",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn= "978-1-60750-773-4",
  year= "2011",
  month= "jun",
  abstract= "The current model of mobile processes in occam-\π
     implements a
     \textlessem\textgreatersingle\textless/em\textgreater interface
     for host processes to use. However, different hosts holding
     different kinds of resource will naturally require different
     interfaces to interact with their visitors. So, current
     occam-\π mobiles have to offer a single union of all the
     interfaces needed and hosts must provide dummy arguments for
     those irrelevant to its particular calls. This opens the
     possibilty of programming errors in both hosts and mobile
     should those dummies mistakenly be used. This talk considers
     a revised model for mobile processes that allows
     \textlessem\textgreatermany\textless/em\textgreater interfaces. The
     talk also proposes a concept of
     \textlessem\textgreatervariant call
     channels\textless/em\textgreater, that expands on a
     mechanism proposed for the occam3 language, and shows a
     simple duality between the revised mobile processes and
     mobile variant call channels. An implementation of mobile
     variant call channels, via source-code transformation to
     standard occam-\π mobile channel bundles, has been
     devised \– which gives an implementation route for the
     revised mobile process model and an operational
     semantics. If time, the ideas will be illustrated with a
     case study based on the Santa Claus problem, where the elves
     and reindeer are mobile processes."
}

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.