Recently added Papers

 

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
SIAM J. Comput.. pages 947-986. volume 31. number 3. 2001.
Bibtex   

 

 

 

Towards Object-Oriented Klaim
Lorenzo Bettini, Viviana Bono, Betti Venneri
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). volume 62. Publisher: Elsevier. Series: ENTCS. 2001.
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   

 

 

 

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   

 

 

 

 

 

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   

 

 

 

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   

 

<< previous | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 next >>