F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, V. Sassone  Home/Search
Context Related
Links: DBLP | mikado.di.fc.ul.pt...dedcapacities.pdf 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 Problem Downloading? From: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. (Update)
Cited by: More
Unknown - Ist- Dynamic Assembly (Correct)
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (Correct)
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
Active bibliography (related documents): More All
0.4: Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
0.3: When Ambients Cannot be Opened - Boneva, Talbot (2003) (Correct)
0.2: The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
Similar documents based on text: More All
0.4: Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003) (Correct)
0.4: On Existentially Quantified Conjunctions of Atomic.. - Cantone, Cavarra, Omodeo (1997) (Correct)
Related documents from co-citation: More All
9: Controlling interference in ambients - Levi, Sangiorgi - 2000
8: Using Ambients to control resources - Teller, Zimmer et al. - 2002
7: Bisimulation congruences in safe ambients - Merro, Hennessy - 2001
BibTeX entry: (Update)
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A Calculus of Bounded Capacities. In ASIAN'03, Eighth Asian Computing Science Conference, number xxxx in Lecture Notes in Computer Science, pages xx--xx, 2003. To Appear. http://citeseer.ist.psu.edu/barbanera03calculus.html More
@misc{ barbanera03calculus,
author = "F. Barbanera and M. Bugliesi and M. Dezani-Ciancaglini and V. Sassone",
title = "A Calculus of Bounded Capacities",
text = "F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A Calculus
of Bounded Capacities. In ASIAN'03, Eighth Asian Computing Science Conference,
number xxxx in Lecture Notes in Computer Science, pages xx--xx, 2003. To
Appear.",
year = "2003",
url = "citeseer.ist.psu.edu/barbanera03calculus.html" }
Citations (may not include all citations):518 Integer and combinatorial optimization (context) - Nemhauser, Wolsey - 1988
390 A Calculus of Bounded Capacities - Barbanera, Bugliesi et al. - 2003 DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2002
144 Controlling interference in ambients - Levi, Sangiorgi - 2000 ACM DBLP
144 Controlling interference in Ambients - Levi, Sangiorgi - 2000 ACM DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000 ACM
75 The essence of principal typings - Wells - 2002
61 Weak Bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
58 Bisimulation Congruences in Safe Ambients - Merro, Hennessy - 2002
57 Subtyping and locality in distributed higher order mobile pr.. - Yoshida, Hennessy - 1999
55 Resource bound certification - Crary, Weirich - 2000 ACM DBLP
53 Secure safe ambients - Bugliesi, Castagna - 2001 ACM DBLP
45 Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa et al. - 2002 ACM DBLP
41 Using ambients to control resources - Teller, Zimmer et al. - 2002
35 Extensionality and intensionality of the ambient logic - Sangiorgi - 2001
34 Bisimulation for Higher-Order Process Calculi - Sangiorgi - 1996 ACM DBLP
33 A calculus of mobile resources - Godskesen, Hildebrandt et al. - 2002 ACM DBLP
32 Towards a behavioural theory of access and mobility control .. (context) - Hennessy, Merro et al. - 2003
30 Resource usage analysis - Igarashi, Kobayashi - 2002
30 Finite-control mobile ambients - Charatonik, Gordon et al. - 2002 ACM DBLP
24 ACM Transactions on Programming Languages and Systems (context) - Hennessy, Riely et al. - 2002
20 The strength of non size-increasing computation (context) - Hofmann - 2002
13 Static prediction of heap space usage for first-order functi.. - Hofmann, Jost - 2003
11 Theoretical Computer Science (context) - Nicola, Ferrari et al. - 2000
9 Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa et al. - 2003
4 Mathematical Structures in Computer Science (context) - Gordon, Cardelli et al. - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (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