An efficient abstract machine for Safe Ambients☆
Under an Elsevier user license
open archive
Keywords
Mobile Ambients
Abstract machine
Forwarders
Garbage collection
Bisimulation
Cited by (0)
- ☆
An extended abstract of this paper has appeared in the proceedings of COORDINATION’05. This work has been supported by the EU project SENSORIA, by the Italian MIUR Project no. 2005015785, “Logical Foundations of Distributed Systems and Mobile Code” and by the French project ANR ARASSIA “Modularité Dynamique Fiable”.
Copyright © 2007 Elsevier Inc. All rights reserved.