A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Polya:True Type Polymorphism for Mobile Ambients
[chapter]
IFIP International Federation for Information Processing
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 little support for generic mobile agents. Previous systems either do not handle communication at all or globally assign fixed communication types to ambient names that do not change as an ambient moves around or interacts with other ambients. This makes it hard to type examples such as a messenger ambient that uses
doi:10.1007/1-4020-8141-3_45
dblp:conf/ifipTCS/AmtoftMW04
fatcat:4szlowm5dnae7k7scdahimj6qi