A new kind of ambient calculus is presented, where the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show interesting algebraic laws. Types express, as usual, the communication, access and mobility properties of the modelled system; inferred types express the minimal constraints required for the system to well behave.
Types for Ambient and Process Mobility
COPPO, Mario;DEZANI, Mariangiola;GIOVANNETTI, Elio
2008-01-01
Abstract
A new kind of ambient calculus is presented, where the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show interesting algebraic laws. Types express, as usual, the communication, access and mobility properties of the modelled system; inferred types express the minimal constraints required for the system to well behave.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
typesforambient.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
1.21 MB
Formato
Adobe PDF
|
1.21 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
