Mobile Objects "Must" Move Safely

Øjeblik is a lexically-scopted, object-based calculus that represents a distribution-free subset of the LAN-based programming language Obliq. The surrogate operation on Øjeblik-objects, which is the abstraction of migration on Obliq-objects, is a combined operation derived from the more primitive operations cloning and aliasing.


Presented at:
Formal Methods for Open Object-based Distributed Systems, University of Twente, the Netherlands, March 2002
Year:
2002
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)