Sciweavers

185 search results - page 14 / 37
» Mobile Ambients
Sort
View
FOSSACS
1999
Springer
13 years 12 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
SAS
1999
Springer
107views Formal Methods» more  SAS 1999»
13 years 12 months ago
Abstract Interpretation of Mobile Ambients
René Rydhof Hansen, Jacob Grydholt Jensen, ...
FOSSACS
1998
Springer
13 years 12 months ago
Mobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
Luca Cardelli, Andrew D. Gordon
MSCS
2008
93views more  MSCS 2008»
13 years 7 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...