Safe Ambients: Abstract machine and distributed implementation
Under an Elsevier user license
open archive
Keywords
Safe ambients
Abstract machine
Proof of correctness
Distributed implementation
Cited by (0)
Copyright © 2005 Published by Elsevier B.V.