Paper Info
Title
Typing Mobility in the Seal Calculus
Abstract
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential features while preserving the distinctive characteristics of the Seal model. Then we discuss the use of interfaces to type agents and define the type system. This type system induces a new interpretation of the types: interfaces describe interaction effects rather than, as it is customary, provided services. We discuss at length the difference of the two interpretations and justify our choice of the former.
Year
DOI
Venue
2001
10.1007/3-540-44685-0_7
CONCUR
Keywords
Field
DocType
seal calculus,type agent,type mobility,new interpretation,seal model,typing mobility,new definition,inessential feature,yields higher-order type,type system,distinctive characteristic,higher order,mobile agent
Computer science,Mobile agent,Type theory,Theoretical computer science,Ambient calculus,Calculus
Conference
ISBN
Citations 
PageRank 
3-540-42497-0
13
0.92
References 
Authors
16
3
Name
Order
Citations
PageRank
Giuseppe Castagna11270128.82
Giorgio Ghelli21300255.19
francesco zappa nardelli365428.80