%T Copying, Moving and Borrowing Semantics
%A  David May,  Henk Muller
%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).