Sciweavers

185 search results - page 14 / 37
» Mobile Ambients
Sort
View
FOSSACS
1999
Springer
15 years 1 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli
SAS
1999
Springer
107views Formal Methods» more  SAS 1999»
15 years 1 months ago
Abstract Interpretation of Mobile Ambients
René Rydhof Hansen, Jacob Grydholt Jensen, ...
66
Voted
FOSSACS
1998
Springer
15 years 1 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»
14 years 9 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...