Gianluigi Ferrari, Emilio Tuosto  Home/Search
Context
Related
| di.unipi.it/pub/techrep...TR0401.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/ricerca/TR/tr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 #-calculus [6] 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. (Update)
Active bibliography (related documents): More All
0.1: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
0.1: Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (Correct)
0.1: Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (Correct)
Similar documents based on text: More All
0.4: A Logical ramework for the spi-calculus - Montanari, Tuosto (Correct)
0.2: Foundational Calculi for Network Aware Programming - An.. - Ferrari, Pugliese (Correct)
0.2: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ ferrari-resources,
author = "Gianluigi Ferrari and Emilio Tuosto",
title = "Resources Negotiation in Systems of Mobile Components",
url = "citeseer.ist.psu.edu/ferrari04resources.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
410 Mobile ambients - Cardelli, Gordon - 1998
216 Theoretical Computer Science (context) - Milner, Parrow et al. - 1993
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2000
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
21 Typing mobility in the seal calculus - Ghelli, Castagna et al. - 2001
16 A query language for semistructured data based on the ambien.. - Cardelli, Ghelli
12 Design and semantics of quantum: a language to control resou.. - Moreau, Queinnec - 1997
Documents on the same site (http://www.di.unipi.it/ricerca/TR/tr.html): More
The Weber Point can be Found in Linear Time for Points .. - Anderegg, Cieliebak.. (2003) (Correct)
The Circe approach to the systematic analysis of NL requirements - Ambriola, Gervasi (2003) (Correct)
An In-Place Sorting Algorithm - Franceschini (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC