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.
Titolo: | Mobile Processes with a distributed Environment |
Autori interni: | |
Anno del prodotto: | 1996 |
Serie: | |
Handle: | http://hdl.handle.net/11568/200915 |
ISBN: | 9783540614401 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
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.