Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Mobile Objects "Must" Move Safely
 
conference paper

Mobile Objects "Must" Move Safely

Briais, Sébastien  
•
Nestmann, Uwe
2002
FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-based Distributed Systems

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

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

momms.pdf

Access type

openaccess

Size

283.5 KB

Format

Adobe PDF

Checksum (MD5)

1e6d6e9c1e776d1c70e263e7ce7cd5ae

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés