Space-Aware Ambients and Processes
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 req...
Main Authors: | Barbanera, F. (Author), Bugliesi, M. (Author), Dezani, M. (Author), Sassone, V. (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
2007.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Communication and Mobility Control in Boxed Ambients
by: Bugliesi, M., et al.
Published: (2005) -
Open Multiparty Sessions
by: Franco Barbanera, et al.
Published: (2019-09-01) -
Tracing where and who provenance in Linked Data: a calculus
by: Dezani, Mariangiola, et al.
Published: (2012) -
Compliance for reversible client/server interactions
by: Franco Barbanera, et al.
Published: (2014-08-01) -
Retractable Contracts
by: Franco Barbanera, et al.
Published: (2016-02-01)