Name
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. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/978-3-540-40965-6_14 | ADVANCES IN COMPUTING SCIENCE - ASIAN 2003: PROGRAMMING LANGUAGES AND DISTRIBUTED COMPUTATION |
Keywords | Field | DocType |
type system,distributed system | Type theory,Ambient calculus,Calculus,Mathematics,Memory module,Bounded function,Computation | Conference |
Volume | ISSN | Citations |
2896 | 0302-9743 | 11 |
PageRank | References | Authors |
0.69 | 26 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franco Barbanera | 1 | 357 | 35.14 |
| Michele Bugliesi | 2 | 785 | 72.79 |
| Mariangiola Dezani-Ciancaglini | 3 | 1615 | 193.57 |
| Vladimiro Sassone | 4 | 1498 | 104.86 |