Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Salvo, Ivano, & Sassone, Vladimiro. (2002). A type inference algorithm for secure ambients. Lenisa, Marina, & Miculan, Marino (eds), TOSCA'01. ENTCS, vol. 62. Elsevier Science. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Calculus of Bounded Capacities - Barbanera, Bugliesi, al. (2003) (384 citations) (Correct)
No context found.
Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Salvo, Ivano, & Sassone, Vladimiro. (2002). A type inference algorithm for secure ambients. Lenisa, Marina, & Miculan, Marino (eds), TOSCA'01. ENTCS, vol. 62. Elsevier Science.
Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (2 citations) (Correct)
No context found.
F. Barbanera, M. Dezani-Ciancaglini, I. Salvo, and V. Sassone. A type inference algorithm for secure ambients. In TOSCA'01, volume 62 of ENTCS. Elsevier, 2002.
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