Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract   Bibtex   gz   

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pages 32-36. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   

AGILE: Software Architecture for Mobility
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóv\ ao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
WADT. Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.). pages 1-33. volume 2755. Publisher: Springer. Series: Lecture Notes in Computer Science. 2002.
Bibtex   

Guardians for Ambient-based Monitoring
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 66. number 3. 2002.
Bibtex   

Trace and Testing Equivalence on Asynchronous Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Inf. Comput.. pages 139-164. volume 172. number 2. 2002.
Bibtex   

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pages 373-377. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   gz   

Global Programming and Mobile Code
Lorenzo Bettini, GianLuigi Ferrari, Rosario Pugliese
2002. Draft.
Abstract   Bibtex   gz   

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 72-87. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

Foundational Calculi for Network Aware Programming
GianLuigi Ferrari, Rosario Pugliese, Emilio Tuosto
2002. Draft.
Abstract   Bibtex   pdf   

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pages 67-81. number 2303. Publisher: Springer. Series: LNCS. 2002.
Bibtex   pdf   

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi
Proc. of CONCUR '02. Publisher: Springer. 2002.
Bibtex   gz   

A Modal Logic for Mobile Agents
Rocco De Nicola, Michele Loreti
ACM Transactions on Computational Logic. Publisher: ACM. 2002. to appear.
Abstract   Bibtex   gz   

Languages and Logics for Network Aware Programming
Michele Loreti
Tesi di Dottorato, Ciclo XIII, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2002.
Abstract   Bibtex   gz   

Il pattern Decorator per l'estensione dei linguaggi orientati agli oggetti (The Decorator pattern for the extension of object-oriented languages)
Sara Capecchi
Master Thesis (in Italian), Università di Firenze. 2002.
Bibtex   gz   

Programmazione di Agenti Mobili in C# (Programming Mobile Agents in C#)
Alessandro Lapadula
Master Thesis (in Italian), Università di Firenze. 2002.
Abstract   Bibtex   gz   

Una infrastruttura per l'interoperabilità e lo scambio di oggetti in rete (An infrastructure for object interoperability and exchange in the net)
Daniele Falassi
Master Thesis (in Italian), Università di Firenze. 2002.
Abstract   Bibtex   gz   pdf   

An Equational Axiomatization of Bisimulation over Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
J. Log. Comput.. pages 301-320. volume 12. number 2. 2002.
Bibtex   

A Java 2 Network Class Loader
Lorenzo Bettini, Donato Cappetta
Dr. Dobb's Journal of Software Tools. pages 58-64. volume 26. number 2. 2001.
Abstract   Bibtex   url   

Hyperformulae, Parallel Deductions and Intersection Types
Beatrice Capitani, Michele Loreti, Betti Venneri
Electr. Notes Theor. Comput. Sci.. volume 50. number 2. 2001.
Bibtex   pdf