2 search results - page 1 / 1 » PolyA: True Type Polymorphism for Mobile Ambients |
125
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
116
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...