Space-Aware Ambients and Processes (2007)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
Space-Aware Ambients and Processes (2007)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
Space-Aware Ambients and Processes (2007)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
M. Guerrini, P. Panayides, P. Hadjigerou, L. Taglioli, F. Dini, F. Barbanera
The Chukar (Alectoris chukar cypriotes) is the most common game bird in Cyprus. Since 1990 the Cypriot Government has established a restocking program with captive-reared birds. However, this program...
Guerrini, M., Panayides, P., Hadjigerou, P., Taglioli, L., Dini, F., Barbanera, F.
Falta de estructura genética en las poblaciones chipriotas de Alectoris chukar (Aves, Galliformes), deducida de los datos de secuenciación del ADNmt.- Una subespecie de la perdiz chucar (Alectoris...
Tailoring Filter Models (2004)
F. Alessi, F. Barbanera, M. Dezani-ciancaglini
Conditions on type preorders are provided in order to characterize the induced filter models for the #-calculus and some of its restrictions. Besides, two examples are given of filter models in which...
A Calculus of Bounded Capacities (2003)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
A Calculus of Bounded Capacities (2003)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
A Calculus of Bounded Capacities (2003)
Barbanera, F., Bugliesi, M., Dezani, M., Sassone, V.
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, V. Sassone
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...
A Calculus of Bounded Capacities (2003)
F. Barbanera, M. Bugliesi, M. Dezani-ciancaglini, V. Sassone
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...
A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...
A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...
A Type Inference Algorithm for Secure Ambients (2001)
Barbanera, F., Dezani, M., Salvo, I., Sassone, V.
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We...