Items where Author is "Sangiorgi, Davide"

Group by: Creators | Item Type | Date | No Grouping

Jump to: Ba | Bo | Br | Ca | De | La | Lo | Ma | Mo | Ra | Sa | To | Va | Za | Zu

Number of items: 21.

Ba

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Bo

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Br

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Ca

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

La

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Lo

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Ma

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Mo

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Ra

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Sa

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

To

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Va

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Za

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Zu

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

This list was generated on Wed Dec 18 00:14:35 2024 CET.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.