Recently added Papers

 

Structured Nets in Klaim
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications. pages 174-180. volume 1. Publisher: ACM Press. 2000.
Abstract   Bibtex   gz   gz   

 

 

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 >>