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.
104
217
234
Ambient Calculus; Safe Ambient Calculus; Types; Filter Models
I. MARGARIA; M. ZACCHI
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/37197
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact