Papers

Page 4 of 15, showing 20 records out of 294 total, starting on record 61, ending on 80

Title Authors Year
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro 2009
A Mechanisms for Flexible Dynamic Trait Replacement Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani 2009
Rate-Based Transition Systems for Stochastic Process Calculi Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink 2009
MarCaSPiS: a Markovian Extension of a Calculus for Services Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink 2009
I-Java: an extension of Java with incomplete objects and object composition Lorenzo Bettini, Viviana Bono, Erica Turin 2009
Featherweight Java with Dynamic and Static Overloading Lorenzo Bettini, Sara Capecchi, Betti Venneri 2009
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account Lorenzo Bettini, Sara Capecchi, Betti Venneri 2009
Assume-Guarantee Verification of Concurrent Systems Liliana D'Errico, Michele Loreti 2009
Global Progress in Dynamically Interleaved Multiparty Sessions Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida 2008
Session and Union Types for Object Oriented Programming Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri 2008
Provably Correct Implementations of Services Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina 2008
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008
Timed Buffers: A Technique For Update Propagation In Nomadic Environments Lorenzo Bettini 2008
Implementing Session Centered Calculi Lorenzo Bettini, Rocco De Nicola, Michele Loreti 2008
Design of a Password-Based EAP Method Andrea Manganaro, Mingyur Koblensky, Michele Loreti 2008
TAPAs: A Tool for the Analysis of Process Algebras Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 2008
A trait based re-engineering technique for Java hierarchies Lorenzo Bettini, Viviana Bono, Marco Naddeo 2008
Type Safe Dynamic Object Delegation in Class-based Languages Lorenzo Bettini, Viviana Bono 2008
Modelling global computations with Klaim Rocco De Nicola, Michele Loreti 2008
A Fluid Flow Approach to Usability Analysis of Multi-user Systems Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti 2008
<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>