I-Java: an extension of Java with incomplete objects and object composition
Lorenzo Bettini, Viviana Bono, Erica Turin
Proceedings of Software Composition. Alexandre Bergel, Johan Fabry (Eds.). pages 27-44. volume 5634. Publisher: Springer. Series: LNCS. 2009.
Abstract   Bibtex   pdf   

Featherweight Java with Dynamic and Static Overloading
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Science of Computer Programming. pages 261-278. volume 74. number 5-6. Publisher: Elsevier. 2009.
Abstract   Bibtex   pdf   url   

Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account
Lorenzo Bettini, Sara Capecchi, Betti Venneri
RAIRO - Theoretical Informatics and Applications. pages 517-565. number 43. 2009.
Abstract   Bibtex   pdf   html   

Assume-Guarantee Verification of Concurrent Systems
Liliana D'Errico, Michele Loreti
COORDINATION. John Field, Vasco Thudichum Vasconcelos (Eds.). pages 288-305. volume 5521. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   pdf   

A Theory of May Testing for Asynchronous Languages
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'99). W. Thomas (Eds.). pages 165-179. number 1578. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   

Testing Equivalences for Processes
Rocco De Nicola, Matthew Hennessy
Theor. Comput. Sci.. pages 83-133. volume 34. 1984.
Bibtex   pdf   

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Rocco De Nicola
Information and Control. pages 136-172. volume 64. number 1-3. 1985.
Bibtex   pdf   

Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Coordination Models and Languages (COORDINATION2008). Doug Lea, Gianluigi Zavattaro (Eds.). pages 17-32. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Abstract   Bibtex   pdf   

SensoriaProcess Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
TGC. Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.). pages 30-50. volume 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Bibtex   

Design of a Password-Based EAP Method
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
E-business and Telecommunications 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers . Joaquim Filipe and Mohammad S. Obaidat (Eds.). pages 343-355. volume 23. Publisher: Springer. Series: Communications in Computer and Information Science. 2008.
Abstract   Bibtex   url   

TAPAs: A Tool for the Analysis of Process Algebras
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
Transactions on Petri Nets and Other Models of Concurrency I. pages 54-70. volume 5100. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

A trait based re-engineering technique for Java hierarchies
Lorenzo Bettini, Viviana Bono, Marco Naddeo
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 149--158. Publisher: ACM Press. 2008.
Abstract   Bibtex   pdf   

Type Safe Dynamic Object Delegation in Class-based Languages
Lorenzo Bettini, Viviana Bono
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 171--180. Publisher: ACM Press. 2008.
Abstract   Bibtex   pdf   

Testing Equivalences and Fully Abbstract Models for Communicating Processes
Rocco De Nicola
PhD Thesis. pages 213. Publisher: University of Edinburgh. 1985.
Bibtex   pdf   

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   

Modelling global computations with Klaim
Rocco De Nicola, Michele Loreti
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. Marta Kwiatkowska Tom Rodden Vladimiro Sassone (Eds.). pages 3737-3745. volume 366. number 1881. Publisher: Royal Society. 2008.
Bibtex   url   

A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
TAMODIA/HCSE. Peter Forbrig, Fabio Paternò (Eds.). pages 166-180. volume 5247. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex   

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   

Functional Characters of Solvable Terms.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Math. Logik Und Grund. Math. . pages 45--58. volume 27. 1981.
Bibtex   

Principal Type Schemes and Lambda-calculus Semantics
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism. R. Hindley and J. Seldin (Eds.). pages 480--490. Publisher: Accademic Press, London. 1980.
Bibtex