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 Copying, Moving and Borrowing Semantics
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A David May, Henk Muller
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Alan G. Chalmers, Majid Mirmehdi, Henk Muller
%B Communicating Process Architectures 2001
%X In this paper we discuss primitives for mobilising code and
communications. We distinguish three types of semantics for
mobility: copying (where an identical copy is created
remotely), moving (where the original is destroyed), and
borrowing (where the original is moved to the target and
back to where it came from at defined moments). We discuss
these semantics for mobile code and mobile channels. We have
implemented Icarus, a language that uses borrowing semantics
for mobile code (the on\-statement) and moving semantics for
mobile channels (first class channels).