Papers

Page 6 of 15, showing 20 records out of 294 total, starting on record 101, ending on 120

Title Authors Year
Featherweight Wrap Java Lorenzo Bettini, Sara Capecchi, Elena Giachino 2007
Featherweight Java with Multi-Methods Lorenzo Bettini, Sara Capecchi, Betti Venneri 2007
SENSORIA Process Calculi for Service-Oriented Computing Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro 2007
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi Rocco De Nicola, Michele Loreti 2007
A Service Oriented Process Calculus with Sessioning and Pipelining Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti 2007
Session Centered Calculi for Service Oriented Computing (Invited Talk) Rocco De Nicola 2007
Basic Observables for Probabilistic May Testing Maria Carla Palmeri, Rocco De Nicola, Mieke Massink 2007
Global computing in a dynamic network of tuple spaces Rocco De Nicola, Daniele Gorla, Rosario Pugliese 2007
Basic observables for a calculus for global computing Rocco De Nicola, Daniele Gorla, Rosario Pugliese 2007
Model checking mobile stochastic logic Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink 2007
Modeling Fuzzy Behaviours in Concurrent Systems Liliana D'Errico, Michele Loreti 2007
Implementing Mobile and Distributed Applications in X-Klaim Lorenzo Bettini, Rocco De Nicola, Michele Loreti 2006
SensoriaProcess Calculi for Service-Oriented Computing Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro 2006
SensoriaProcess Calculi for Service-Oriented Computing Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro 2006
A WSDL-Based Type System for WS-BPEL Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2006
Double Dispatch in C++ Lorenzo Bettini, Sara Capecchi, Betti Venneri 2006
Confining Data and Processes in Global Computing Applications Rocco De Nicola, Daniele Gorla, Rosario Pugliese 2006
SCC: a Service Centered Calculus Michele Boreale, Roberto Bruni, Luis Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, Antonio Ravara, Davide Sangiorgi, Vasco Vasconcelos, Gianluigi Zavattaro 2006
STOKLAIM: A Stochastic Extension of KLAIM Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink 2006
Klaim and its Stochastic Semantics Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink 2006
<< previous | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 next >>