Sciweavers

COORDINATION
2005
Springer

A Correct Abstract Machine for Safe Ambients

13 years 9 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract machine, called GcPan, for the distributed 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 bisimilarlt 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.
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where COORDINATION
Authors Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
Comments (0)