The definition of filter model is extended to a variant of Ambient Calculus: the Safe Ambient Calculus. The types are constructed by means of elementary and higher-order actions, that define the moves processes can do. The types can be assigned to processes by means of a type assignment system. In the filter model obtained via the introduced type system, any process is interpreted as the set of all its types. The model is proved adequate, but it fails to be fully abstract.
A filter model for safe ambients
MARGARIA, Ines Maria;ZACCHI, Maddalena
2004-01-01
Abstract
The definition of filter model is extended to a variant of Ambient Calculus: the Safe Ambient Calculus. The types are constructed by means of elementary and higher-order actions, that define the moves processes can do. The types can be assigned to processes by means of a type assignment system. In the filter model obtained via the introduced type system, any process is interpreted as the set of all its types. The model is proved adequate, but it fails to be fully abstract.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
filter.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
286.67 kB
Formato
Adobe PDF
|
286.67 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
