A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS). pages 181--193. volume 3543. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   pdf   

Languages and Process Calculi for Network Aware Programming - Short Summary -
Rocco De Nicola
ICTAC. pages 49-52. 2005.
Bibtex   

Formal modeling and quantitative analysis of KLAIM-based mobile systems
Rocco De Nicola, Diego Latella, Mieke Massink
SAC. pages 428-435. 2005.
Bibtex   

Types in concurrency
Rocco De Nicola, Davide Sangiorgi
Acta Inf.. pages 79-81. volume 42. number 2-3. 2005.
Bibtex   

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

Semantic Subtyping for the p-Calculus
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
LICS. pages 92-101. 2005.
Bibtex   

On the Expressive Power of Klaim-based Calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. pages 117-130. volume 128. number 2. 2005.
Bibtex   

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-21044-X. 2004.
Bibtex   

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pages 245-288. volume 11. number 3. 2004.
Abstract   Bibtex   gz   

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract   Bibtex   pdf   

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, Vasco T. Vasconcelos
Global Computing. IST/FET International Workshop, GC 2004, Revised Papers. C. Priami (Eds.). pages 179-207. volume 3267. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   gz   

A Core Calculus of Higher-Order Mixins and Classes (Poster Abstract)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of ACM Symposium on Applied Computing (SAC 2004). pages 1508-1509. Publisher: ACM Press. 2004.
Bibtex   

A Core Calculus of Higher-Order Mixins and Classes
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Types for Proofs and Programs: 3rd Int. Workshop, TYPES 2003. pages 83-98. volume 3085. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   ps   

Controlling data movement in global computing applications
Daniele Gorla, Rosario Pugliese
SAC. Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock (Eds.). pages 1462-1467. Publisher: ACM. 2004.
Bibtex   

MetaKlaim: a type safe multi-stage language for global computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Mathematical Structures in Computer Science. pages 367-395. volume 14. number 3. 2004.
Bibtex   

Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
IFIP TCS. Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.). pages 577-590. Publisher: Kluwer. 2004.
Bibtex   

A Core Calculus of Mixin-Based Incomplete Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec
FOOL 11. 2004.
Abstract   Bibtex   pdf   

O'Klaim: a coordination language with mobile mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination. pages 20-37. volume 2949. Publisher: Springer. Series: LNCS. 2004.
Abstract   Bibtex   pdf   

Subtyping-Inheritance Conflicts: The Mobile Mixin Case
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Third IFIP International Conference on Theoretical Computer Science (TCS 2004). J-J. Levy, E.W. Mayr, J.C. Mitchell (Eds.). pages 451--464. Publisher: Kluwer Academic Publishers. 2004.
Abstract   Bibtex   pdf   

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
Lorenzo Bettini, Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti, Michele Loreti
Proc. of IEEE International Conference on Advanced Learning Technologies. pages 161-165. Publisher: IEEE. 2004.
Abstract   Bibtex   pdf