Pubblicazioni

Bisimulation congruences in safe ambients  (2002)

Autori:
Merro, Massimo; Hennessy, Matthew
Titolo:
Bisimulation congruences in safe ambients
Anno:
2002
Tipologia prodotto:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Lingua:
Inglese
Formato:
A Stampa
Nome rivista:
ACM SIGPLAN NOTICES
ISSN Rivista:
1523-2867
N° Volume:
37
Serie:
ACM SIGPLAN Notices
Numero o Fascicolo:
1
Titolo del Convegno:
29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2002)
Luogo:
Portland - OR, USA
Periodo:
January 2002
ISBN:
9781581136289
Intervallo pagine:
71-80
Parole chiave:
Distributed Computing; Agent Mobility; Bisimulation
Breve descrizione dei contenuti:
We develop a semantics theory for SAP, a variant of Levi and Sangiorgi’s Safe Ambients, SA. The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with each other. These capabilities contain references, the names of ambients with which they wish to interact. In SAP we generalise the notion of capability: in order to interact with an ambient n, an ambient m must exercise a capability indicating both n and a password h to access n; the interaction between n and m takes place only if n is willing to perform a corresponding co-capability with the same password h. The name h can also be lookedupon as a port to access ambient n via port h. In SAP by managing passwords/ports, for example generating new ones and distributing themselectively, an ambient may now program who may migrate into its computation space, and when. Moreover in SAP an ambient may provide different services/resources depending on the port accessed by the incoming clients. Then, we give an lts-based operational semantics for SAP and a labelled bisimulation equivalence which is proved to coincide with reduction barbed congruence.We use our notion of bisimulation to prove a set of algebraic laws which are subsequently exploited to prove more significant examples.
Id prodotto:
31
Handle IRIS:
11562/31
depositato il:
14 novembre 2012
ultima modifica:
20 marzo 2018
Citazione bibliografica:
Merro, Massimo; Hennessy, Matthew, Bisimulation congruences in safe ambients in «ACM SIGPLAN NOTICES» vol. 37 n. 1 (ACM SIGPLAN Notices)  in 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'02)Atti di "29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2002)" , Portland - OR, USA , January 2002 , 2002pp. 71-80

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Progetti Collegati
Titolo Dipartimento Responsabili
Abstract Interpretation, type systems and control-flow analysis Dipartimento Informatica
<<indietro

Attività

Strutture