Università di Pisa
Sistema bibliotecario di ateneo

Resources Negotiation in Systems of Mobile Components

Ferrari, Gianluigi and Tuosto, Emilio (2004) Resources Negotiation in Systems of Mobile Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (276Kb)


    We introduce a process calculus that contains constructs to express and program resource negotiations in systems of mobile processes. The calculus proposed is an extension of Distributed $\pi$-calculus~ \cite{HR98} and, therefore, it provides process mobility in networks that may dynamically change their topology. Negotiation takes place between processes, asking credits to achieve their purposes, and locations, that release credits depending on their availability. We describe a type system for the calculus which guarantees that well-typed processes cannot fail because of misuse of credits over resources. The safety result is more involved due to process mobility: A migrating process should not access locations that do not guarantee safety.

    Item Type: Book
    Uncontrolled Keywords: Negotiation, process calculi, type
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 16:38
    Last Modified: 17 Dec 2014 16:38
    URI: http://eprints.adm.unipi.it/id/eprint/2106

    Repository staff only actions

    View Item