db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T Adding Mobility to Networked Channel\-Types
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Mario Schweigler
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X This paper reports the specification of a sound concept for
the mobility of network\-channel\-types in KROC.net. The
syntax and semantics of KROC.net have also been modified in
order to integrate it more seamlessly into the occam\-pi
language. These new features are currently in the process of
being implemented. Recent developments in occam\-pi and KROC
(such as mobile processes and live / dead
channel\-type\-ends) are described, together with their
impact on KROC.net. This paper gives an overview of the
recent developments in KROC.net, and presents its proposed
final semantics, as well as the proposed interface between
the KROC.net infrastructure and the KROC compiler.