Papers

Page 5 of 15, showing 20 records out of 285 total, starting on record 81, ending on 100

Title Authors Year
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008
Ugo Montanari in a Nutshell Rocco De Nicola, Pierpaolo Degano, José Meseguer 2008
Multiple-Labelled Transition Systems for nominal calculi and their logics Rocco De Nicola, Michele Loreti 2008
Semantic subtyping for the pi-calculus Giuseppe Castagna, Rocco De Nicola, Daniele Varacca 2008
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007
Design of a Password-based Authentication Method for Wireless Networks Andrea Manganaro, Mingyur Koblensky, Michele Loreti 2007
A Calculus for Orchestration of Web Services Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2007
Regulating Data Exchange in Service Oriented Applications Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2007
C-clock-WS: A Timed Service-Oriented Calculus Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 2007
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007
Implementing a distributed mobile calculus using the IMC framework Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti 2007
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
<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>