Emilio Tuosto
Emilio Tuosto
Department of Computer Science, University of Leicester
Verified email at le.ac.uk - Homepage
TitleCited byYear
A theory of design-by-contract for distributed multiparty interactions
L Bocchi, K Honda, E Tuosto, N Yoshida
International Conference on Concurrency Theory, 162-176, 2010
1412010
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
International Workshop on Global Computing, 88-150, 2003
1312003
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 3, 2016
1102016
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
ACM SIGPLAN Notices 50 (1), 221-232, 2015
1032015
Synchronised hyperedge replacement as a model for service oriented computing
GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto
International Symposium on Formal Methods for Components and Objects, 22-43, 2005
672005
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
International Conference on Coordination Languages and Models, 67-82, 2008
632008
A LTS semantics of ambients via graph synchronization with mobility
GL Ferrari, U Montanari, E Tuosto
Italian Conference on Theoretical Computer Science, 1-16, 2001
582001
Style-based architectural reconfigurations
R Bruni, A Lluch Lafuente, U Montanari, E Tuosto
Universitŕ di Pisa, 2007
572007
A process calculus for qos-aware applications
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
International Conference on Coordination Languages and Models, 33-48, 2005
532005
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
512012
A formal basis for reasoning on programmable qos
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
Verification: Theory and Practice, 436-479, 2003
452003
Service oriented architectural design
R Bruni, AL Lafuente, U Montanari, E Tuosto
International Symposium on Trustworthy Global Computing, 186-203, 2007
432007
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
G Ferrari, U Montanari, E Tuosto
Theoretical Computer Science 331 (2-3), 325-365, 2005
432005
Contract-oriented computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science 22 (1), 5, 2012
412012
Validation of decentralised smart contracts through game theory and formal methods
G Bigi, A Bracciali, G Meacci, E Tuosto
Programming Languages with Applications to Biology and Security, 142-161, 2015
392015
Shreq: Coordinating application level qos
D Hirsch, E Tuosto
Third IEEE International Conference on Software Engineering and Formal …, 2005
362005
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
International Conference on Coordination Languages and Models, 245-260, 2012
352012
On nominal regular languages with binders
A Kurz, T Suzuki, E Tuosto
International Conference on Foundations of Software Science and …, 2012
312012
From theory to practice in transactional composition of web services
R Bruni, G Ferrari, H Melgratti, U Montanari, D Strollo, E Tuosto
Formal Techniques for Computer Systems and Business Processes, 272-286, 2005
302005
Non-functional aspects of wide area network programming
E Tuosto
SEU, 2003
282003
The system can't perform the operation now. Try again later.
Articles 1–20