Recently added Papers

 

 

Translating Strong Mobility into Weak Mobility
Lorenzo Bettini, Rocco De Nicola
Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA). G. Picco (Eds.). pages 182-197. number 2240. Publisher: Springer. Series: LNCS. 2001.
Abstract   Bibtex   gz   

 

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   

 

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   

 

 

 

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