Skip to main content

Copying, Moving and Borrowing semantics

David May, Henk Muller, Copying, Moving and Borrowing semantics. Communicating Process Architectures -- 2001. Alan Chalmers, Majid Mirmehdi, Henk Muller, (eds.), pp. 51–62. September 2001. PDF, 40 Kbytes.


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).

Bibtex entry.

Contact details

Publication Admin