Segueix
Emilio Tuosto
Emilio Tuosto
Gran Sasso Science Institute
Correu electrònic verificat a gssi.it - Pàgina d'inici
Títol
Citada per
Citada per
Any
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), 1-36, 2016
3062016
A theory of design-by-contract for distributed multiparty interactions
L Bocchi, K Honda, E Tuosto, N Yoshida
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
2002010
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1762015
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
Global Computing. Programming Environments, Languages, Security, and …, 2003
1532003
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: Essays …, 2015
1392015
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
772005
Semantics of global view of choreographies
E Tuosto, R Guanciale
Journal of logical and algebraic methods in programming 95, 17-40, 2018
742018
Synthesising choreographies from local session types
J Lange, E Tuosto
International Conference on Concurrency Theory, 225-239, 2012
702012
Style-based architectural reconfigurations
R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto
Bulletin of the European association for theoretical computer science 94 …, 2008
642008
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
Coordination Models and Languages: 10th International Conference …, 2008
642008
A LTS semantics of ambients via graph synchronization with mobility
A Restivo, SR Della Rocca, L Roversi, GL Ferrari, U Montanari, E Tuosto
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001
622001
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
Choreography automata
F Barbanera, I Lanese, E Tuosto
International Conference on Coordination Languages and Models, 86-106, 2020
482020
A formal basis for reasoning on programmable qos
R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003
472003
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
462005
Service oriented architectural design
R Bruni, A Lluch Lafuente, U Montanari, E Tuosto
International Symposium on Trustworthy Global Computing, 186-203, 2007
442007
Shreq: Coordinating application level qos
D Hirsch, E Tuosto
Third IEEE International Conference on Software Engineering and Formal …, 2005
422005
On nominal regular languages with binders
A Kurz, T Suzuki, E Tuosto
Foundations of Software Science and Computational Structures: 15th …, 2012
402012
Contract-oriented computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science 22 (1), 5-60, 2012
392012
Composition and decomposition of multiparty sessions
F Barbanera, M Dezani-Ciancaglini, I Lanese, E Tuosto
Journal of Logical and Algebraic Methods in Programming 119, 100620, 2021
362021
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20