Searching for authors named "Rosario Pugliese" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
A Semantic Theory for Global Computing Systems
- …A Semantic Theory for Global Computing Systems Daniele Gorla Rosario Pugliese Dipartimento di…
- Cited by 3 (1 self) – Add To MetaCart
-
Resource Access and Mobility Control with Dynamic Privileges Acquisition
- …Resource Access and Mobility Control with Dynamic Privileges Acquisition Daniele Gorla Rosario…
- Cited by 25 (10 self) – Add To MetaCart
-
A Mobility Calculus with Local and Dependent Types
- …,⋆⋆ , Mariangiola Dezani-Ciancaglini 1,⋆⋆⋆ , Elio Giovannetti 1,† , and Rosario Pugliese 3,‡ 1 Dip. Informatica…
- Cited by 5 (3 self) – Add To MetaCart
-
Foundational Calculi for Network Aware Programming, Technical Report, Universita’ di Firenze, c/o Dipartimento di Sistemi ed Informatica
- … — GIANLUIGI FERRARI Dipartimento di Informatica, Università di Pisa ROSARIO PUGLIESE Dipartimento di Sistemi e…
- Cited by 1 (0 self) – Add To MetaCart
-
Dynamic and Local Typing for Mobile Ambients
- …† , Elio Giovannetti 1‡ , and Rosario Pugliese 2§ 1 Dip. di Informatica, Univ. di Torino, Corso Svizzera…
- Cited by 7 (4 self) – Add To MetaCart
-
Structured Nets in KLAIM
- …Structured Nets in Klaim (Full Paper) Lorenzo Bettini Michele Loreti Rosario Pugliese Dipartimento…
- Cited by 3 (3 self) – Add To MetaCart
-
An Infrastructure Language for Open Nets
- …Abstract An Infrastructure Language for Open Nets ∗ Lorenzo Bettini Michele Loreti Rosario…
- Cited by 13 (9 self) – Add To MetaCart
-
MetaKlaim: A Type Safe Multi-stage Language for Global Computing
- … Informatica e Scienze dell’Informazione — Università di Genova e-mail: moggi@(email omitted); Rosario Pugliese…
- Cited by 10 (2 self) – Add To MetaCart
-
Regulating data exchange in service oriented applications
- …Regulating data exchange in service oriented applications ⋆ Alessandro Lapadula, Rosario Pugliese…
- Cited by 5 (4 self) – Add To MetaCart
-
A WSDL-based type system for WS-BPEL
- …A WSDL-based type system for WS-BPEL ⋆ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
