We embed the transition system of the Mobile Ambients into the transition system of a subset of the π-calculus. The basic idea, applicable to other calculi as well, is to constrain the deduction of the π-calculus transitions with the suitable conditions that reflect the nesting of ambients.
Reflecting Mobile Ambients into the pi-calculus
BRODO, LINDA;DEGANO, PIERPAOLO;PRIAMI, Corrado
2003-01-01
Abstract
We embed the transition system of the Mobile Ambients into the transition system of a subset of the π-calculus. The basic idea, applicable to other calculi as well, is to constrain the deduction of the π-calculus transitions with the suitable conditions that reflect the nesting of ambients.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
