db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{BonniciWelch11,
  title =        "{M}obile {P}rocesses and {C}all {C}hannels with {V}ariant {I}nterfaces (a {D}uality)",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Bonnici,  Eric and Welch, Peter H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  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-\&amp;pi;
     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-\&amp;pi; 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-\&amp;pi; mobile channel bundles, has been
     devised \&amp;ndash;
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."
}