Recently added Papers

 

A process Algebra Approach to Fuzzy Reasoning
Liliana D'Errico, Michele Loreti
IFSA/EUSFLAT Conf.. Jo\ ao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Jo\ ao Miguel da Costa Sousa (Eds.). pages 1136-1141. 2009.
Bibtex   

 

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Design of a Password-based Authentication Method for Wireless Networks
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
WINSYS. Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha (Eds.). pages 9-16. Publisher: INSTICC Press. 2007.
Bibtex   

 

The ``Relevance'' of Intersection and Union Types
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
Notre Dame Journal of Formal Logic. pages 246-269. volume 38. number 2. 1997.
Bibtex   pdf   

 

Provably Correct Implementations of Services
Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 52-68. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

A Mechanisms for Flexible Dynamic Trait Replacement
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. pages 1-7. Publisher: ACM Digital Library. 2009.
Abstract   Bibtex   pdf   

 

Rate-Based Transition Systems for Stochastic Process Calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.). pages 435-446. volume 5556. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   pdf   

 

MarCaSPiS: a Markovian Extension of a Calculus for Services
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Electronic Notes in Theoretical Computer Science. M. Hennessy and B. Klin (Eds.). pages 11-26. volume 229. number 4. Publisher: Elsevier. 2009.
Bibtex   

 

 

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   

 

<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>