conference paper
Mobile Objects "Must" Move Safely
2002
FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems V
Ø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.