Subtyping Mobile Classes and Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of FOOL 2003. 2003.
Abstract   Bibtex   gz   

On Multiple Inheritance in Java
Lorenzo Bettini, Michele Loreti, Betti Venneri
Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002. Theo D'Hondt (Eds.). pages 1-15. Publisher: Kluwer Academic Publishers. 2003.
Abstract   Bibtex   gz   

Coordination and Access Control of Mobile Agents
Rocco De Nicola
COORDINATION. pages 1-2. 1999.
Bibtex   

Graded Modalities and Resource Bisimulation
Flavio Corradini, Rocco De Nicola, Anna Labella
FSTTCS. pages 381-393. 1999.
Bibtex   

A Theory of "May" Testing for Asynchronous Languages
Michele Boreale, Rocco De Nicola, Rosario Pugliese
FoSSaCS. pages 165-179. 1999.
Bibtex   

A finite axiomatization of nondeterministic regular expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
ITA. pages 447-466. volume 33. number 4/5. 1999.
Bibtex   

A Java package for class and mixin mobility in a distributed setting
Lorenzo Bettini
Proc. of FIDJI'03. N.Guelfi and E.Astesiano and G.Reggio (Eds.). pages 12-22. volume 2952. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

Models of Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
J. Comput. Syst. Sci.. pages 412-449. volume 59. number 3. 1999.
Bibtex   

Possible Worlds for Process Algebras
Simone Veglioni, Rocco De Nicola
CONCUR. pages 179-193. 1998.
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   

Tree Morphisms and Bisimulations
Rocco De Nicola, Anna Labella
Electr. Notes Theor. Comput. Sci.. volume 18. 1998.
Bibtex   

An Observational Semantics for Linda
Rocco De Nicola, Rosario Pugliese
Proc. of the Int. Workshop on Structures in Concurrency Theory. J. Desel (Eds.). pages 129-143. Publisher: Springer. Series: Series Workshops in Computing. 1995.
Abstract   Bibtex   

Testing Semantics of Asynchronous Distributed Programs
Rocco De Nicola, Rosario Pugliese
Proc. of Analysis and Verification of Multiple--Agents Languages (LOMAPS'96). M. Dam (Eds.). pages 320-344. number 1192. Publisher: Springer. Series: LNCS. 1996.
Abstract   Bibtex   

Proving the correctness of optimising destructive and non-destructive reads over tuple spaces (Exten
Rocco De Nicola, Rosario Pugliese, Antony Rowstron
Proc. of the Fourth International Conference on Coordination Models and Languages (COORDINATION'00). A. Porto, G.-C. Roman (Eds.). pages 66-80. number 1906. Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   gz   

A Process Algebra Based on LINDA
Rocco De Nicola, Rosario Pugliese
COORDINATION. pages 160-178. 1996.
Bibtex   

Asynchronous Observations of Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98). M. Nivat (Eds.). pages 95-109. number 1378. Publisher: Springer. Series: LNCS. 1998.
Abstract   Bibtex   

Basic Observables for Processes - Extended Abstract
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of International Colloquium on Automata, Languages and Programming (ICALP'97). P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (Eds.). pages 482-492. number 1378. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

Basic Observables for Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Information & Computation. pages 77-98. volume 149. number 1. Publisher: Academic Press. 1998.
Abstract   Bibtex   

Divergence in Testing and Readiness Semantics
Rosario Pugliese, Rocco De Nicola, Michele Boreale
Theoretical Computer Science. pages 237-248. volume 266. number 1-2. Publisher: Elsevier. 2001. to appear.
Abstract   Bibtex   gz