×

zbMATH — the first resource for mathematics

Tuosto, Emilio

Compute Distance To:
Author ID: tuosto.emilio Recent zbMATH articles by "Tuosto, Emilio"
Published as: Tuosto, E.; Tuosto, Emilio
External Links: ORCID
Documents Indexed: 39 Publications since 2001, including 4 Books

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 128 times in 86 Documents Cited by Year
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
19
2015
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
Synthesising choreographies from local session types. Zbl 1364.68291
Lange, Julien; Tuosto, Emilio
13
2012
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
Honesty by typing. Zbl 1448.68327
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
6
2016
On the realizability of contracts in dishonest systems. Zbl 1366.68198
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
6
2012
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
5
2014
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
5
2008
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
4
2012
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
3
2007
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
2
2012
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
2
2008
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
2
2005
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
1
2020
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
1
2019
On sessions and infinite data. Zbl 1448.68211
Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola
1
2017
An abstract semantics of the global view of choreographies. Zbl 1433.68203
Guanciale, Roberto; Tuosto, Emilio
1
2016
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
1
2016
Network applications of graph bisimulation. Zbl 1175.68272
Cenciarelli, Pietro; Gorla, Daniele; Tuosto, Emilio
1
2008
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
1
2020
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
1
2019
On sessions and infinite data. Zbl 1448.68211
Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola
1
2017
Honesty by typing. Zbl 1448.68327
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
6
2016
An abstract semantics of the global view of choreographies. Zbl 1433.68203
Guanciale, Roberto; Tuosto, Emilio
1
2016
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
1
2016
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
19
2015
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
5
2014
Synthesising choreographies from local session types. Zbl 1364.68291
Lange, Julien; Tuosto, Emilio
13
2012
On the realizability of contracts in dishonest systems. Zbl 1366.68198
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
6
2012
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
4
2012
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
2
2012
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
5
2008
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
2
2008
Network applications of graph bisimulation. Zbl 1175.68272
Cenciarelli, Pietro; Gorla, Daniele; Tuosto, Emilio
1
2008
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
3
2007
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
2
2005
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
all top 5

Cited by 153 Authors

12 Montanari, Ugo G.
10 Yoshida, Nobuko
8 Bruni, Roberto
6 Dezani-Ciancaglini, Mariangiola
6 Nielson, Flemming
6 Tuosto, Emilio
5 Bartoletti, Massimo
5 Lanese, Ivan
5 Lluch Lafuente, Alberto
5 Riis Nielson, Hanne
4 Ciancia, Vincenzo
4 Ferrari, Gian Luigi
4 Sammartino, Matteo
4 Zunino, Roberto
3 Bocchi, Laura
3 Carbone, Marco
3 De Nicola, Rocco
3 Gadducci, Fabio
3 Montesi, Fabrizio
3 Scalas, Alceste
3 Toninho, Bernardo
2 Arbab, Farhad
2 Barbanera, Franco
2 Basile, Davide
2 Bettini, Lorenzo
2 Bracciali, Andrea
2 Castellani, Ilaria
2 Chen, Tzu-Chun
2 Cho, Kenta
2 Cimoli, Tiziana
2 Coppo, Mario
2 Corradini, Andrea
2 Cruz-Filipe, Luís
2 Degano, Pierpaolo
2 Giachino, Elena
2 Guanciale, Roberto
2 Hasuo, Ichiro
2 Kataoka, Toshiki
2 Kozen, Dexter C.
2 Lange, Julien
2 Lazovik, Alexander
2 Loreti, Michele
2 Mezzina, Claudio Antares
2 Monreale, Giacoma Valentina
2 Murgia, Maurizio
2 Nanz, Sebastian
2 Padovani, Luca
2 Pérez, Jorge A.
2 Schürmann, Carsten
2 Venneri, Betti
2 Vieira, Hugo Torres
1 AlTurki, Musab A.
1 Arrighi, Pablo
1 Attie, Paul C.
1 Baldan, Paolo
1 Baranov, Eduard
1 Barbosa, Luís S.
1 Bistarelli, Stefano
1 Biswas, B. B.
1 Bliudze, Simon
1 Bonchi, Filippo
1 Bono, Viviana
1 Boreale, Michele
1 Bravetti, Mario
1 Caires, Luís
1 Capecchi, Sara
1 Castagna, Giuseppe
1 Cenciarelli, Pietro
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Clouston, Ranald A.
1 de’Liguoro, Ugo
1 Demangeon, Romain
1 Deniélou, Pierre-Malo
1 Di Gianantonio, Pietro
1 El-Hokayem, Antoine
1 Falcone, Yliès
1 Ghilezan, Silvia
1 Giannini, Paola
1 Gorla, Daniele
1 Hallal, Rayan
1 Hankin, Chris L.
1 Hennicker, Rolf
1 Hirschkoff, Daniel
1 Hölzl, Matthias M.
1 Honda, Kohei
1 Honsell, Furio
1 Horne, Ross
1 Jaber, Mohamad Y.
1 Johnsen, Einar Broch
1 Kapus-Kolar, Monika
1 Kar, Samir
1 Katoen, Joost-Pieter
1 Kersten, Anne
1 Khalil, Al-Abbass
1 König, Barbara
1 Koutny, Maciej
1 Krause, Christian
1 Küpper, Sebastian
1 Kurz, Alexander
...and 53 more Authors

Citations by Year