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.

• Type: Conference
• Year: 2005
• Where: COORDINATION
• Authors: Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
• Keywords: Abstract Machine, COORDINATION 2005, Distributed And Parallel Computing, Safe Ambients, Universit`a Di Bologna