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 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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Hirschkoff, D., Pous, D., & Sangiorgi, D. (2005). A correct abstract machine for Safe Ambients. In Lecture Notes in Computer Science (Vol. 3454, pp. 17–32). Springer Verlag. https://doi.org/10.1007/11417019_2
Mendeley helps you to discover research relevant for your work.