Papers

Page 1 of 15, showing 20 records out of 294 total, starting on record 1, ending on 20

Title Authors Year
A Calculus for Boxes and Traits in a Java-Like Setting Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer 2010
A Calculus for Orchestration of Web Services Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2007
A Complete Set of Axioms for a Theory of Communicating Sequential Processes Rocco De Nicola 1983
A Completeness Theorem for Nondeterministic Kleene Algebras Rocco De Nicola, Anna Labella 1994
A Completeness Theorem fro Nondeterministic Kleene Algebras Rocco De Nicola, Anna Labella 1994
A Core Calculus of Higher-Order Mixins and Classes Lorenzo Bettini, Viviana Bono, Silvia Likavec 2004
A Core Calculus of Higher-Order Mixins and Classes (Poster Abstract) Lorenzo Bettini, Viviana Bono, Silvia Likavec 2004
A Core Calculus of Mixin-Based Incomplete Objects Lorenzo Bettini, Viviana Bono, Silvia Likavec 2004
A core calculus of mixins and incomplete objects Lorenzo Bettini, Viviana Bono, Silvia Likavec 2004
A Distributed Operational Semantics for CCS Based on Condition/Event Systems Pierpaolo Degano, Rocco De Nicola, Ugo Montanari 1988
A DSL for Writing Type Systems for Xtext Languages Lorenzo Bettini 2011
A finite axiomatization of nondeterministic regular expressions Flavio Corradini, Rocco De Nicola, Anna Labella 1999
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti 2005
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
A Formal Account of WS-BPEL Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2008
A Formal Basis for Reasoning on Programmable QoS Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto 2003
A Framework for the Analysis of Security Protocols Michele Boreale, Marzia Buscemi 2002
A Java 2 Network Class Loader Lorenzo Bettini, Donato Cappetta 2001
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces Lorenzo Bettini, Rocco De Nicola 2003
A Java package for class and mixin mobility in a distributed setting Lorenzo Bettini 2003
<< previous
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>