| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Salvo, Ivano | ||||
| Title | Mobility Types for Mobile Processes in Mobile Ambients | Type | Journal Article | ||
| Year | 2003 | Publication | Electr. Notes Theor. Comput. Sci. | Abbreviated Journal | |
| Volume | 78 | Issue | Pages | ||
| Keywords | |||||
| Abstract | We present an ambient-like calculus in which the open capability is dropped, and a new form of “lightweight  process mobility is introduced. The calculus comes equipped with a type system that allows the kind of values exchanged in communications and the access and mobility properties of processes to be controlled. A type inference procedure determines the “minimal  requirements to accept a system or a component as well typed. This gives a kind of principal typing. As an expressiveness test, we show that some well known calculi of concurrency and mobility can be encoded in our calculus in a natural way. | ||||
| Address | |||||
Corporate Author  |
Thesis | ||||
| Publisher | Place of Publication | Editor | |||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ Coppo-Dezani-Giovannetti-Salvo:03 | Serial | 74 | ||
| Permanent link to this record | |||||