We introduce local environments for mobile processes, expressed in π-calculus. Each local name is equipped with its relative address, i.e., with the information needed to point back to the process that generated it. Relative addresses are built upon the labels of the proved transition system of π-calculus. A router is specified that guarantees sound exportation of names.
Mobile Processes with a distributed Environment
BODEI, CHIARA;DEGANO, PIERPAOLO;Priami, CORRADO
1996-01-01
Abstract
We introduce local environments for mobile processes, expressed in π-calculus. Each local name is equipped with its relative address, i.e., with the information needed to point back to the process that generated it. Relative addresses are built upon the labels of the proved transition system of π-calculus. A router is specified that guarantees sound exportation of names.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.
