Copying, Moving and Borrowing semantics

D May, HL Muller

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

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).
Translated title of the contributionCopying, Moving and Borrowing semantics
Original languageEnglish
Title of host publicationUnknown
EditorsAlan Chalmers, Majid Mirmehdi, Henk Muller
PublisherIOS Press
Pages51 - 62
Number of pages11
Publication statusPublished - Sept 2001

Bibliographical note

Conference Proceedings/Title of Journal: Communicating Process Architectures -- 2001

Fingerprint

Dive into the research topics of 'Copying, Moving and Borrowing semantics'. Together they form a unique fingerprint.

Cite this