11 DEZEMBRO / SEGUNDA FEIRA / 22:49
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS

Technical Report: DCC-99-3

DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculus

 Luís Lopes(1), Fernando Silva (1), Àlvaro Figueira(1) and Vasco Vasconcelos(2)

(1) DCC & LIACC, FCUP, Porto, Portugal
(2) Dep. Informática, FCUL, Lisboa, Portugal

 May 1999


Abstract

We propose a simple formal model of distribution for mobile objects in the context of the TyCO process calculus. Code mobility is induced by lexical scoping on names and template process definitions. Objects and messages migrate towards the site where their prefix names are lexically bound. Template process definitions, on the other hand, are downloaded from the site where they are defined, and are instantiated locally upon arrival. Based on this model we describe the run-time support for distribution and code mobility implemented in DiTyCO, an extension of the TyCO programming language.
FCUP 2017