A Correct Abstract Machine for Safe Ambients - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A Correct Abstract Machine for Safe Ambients

Résumé

We describe an abstract machine, called GcPan, for the dis- tributed execution of Safe Ambients (SA), a variant of the Ambient Calculus (AC). Our machine improves over previous proposals for executing AC, or variants of it, mainly through a better management of special agents (forwarders), created upon code migration to transmit messages to the target location of the migration. We establish the correctness of our machine by proving a weak bisimilarity result with a previous abstract machine for SA, and then appealing to the correctness of the latter machine. More broadly, this study is a contribution towards understanding issues of correctness and optimisations in implementations of distributed languages encompassing mobility.
Fichier principal
Vignette du fichier
HirPouSan04.pdf (264.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01441466 , version 1 (19-01-2017)

Identifiants

Citer

Daniel Hirschkoff, Damien Pous, Davide Sangiorgi. A Correct Abstract Machine for Safe Ambients. COORDINATION, 2005, Namur, Belgium. ⟨10.1007/11417019_2⟩. ⟨hal-01441466⟩
100 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More