Seguir
Fabrizio Montesi
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Dirección de correo verificada de imada.sdu.dk - Página principal
Título
Citado por
Citado por
Año
Microservices: yesterday, today, and tomorrow
N Dragoni, S Giallorenzo, AL Lafuente, M Mazzara, F Montesi, R Mustafin, ...
Present and ulterior software engineering, 195-216, 2017
18432017
Deadlock-freedom-by-design: Multiparty asynchronous global programming
M Carbone, F Montesi
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
2202013
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
2052016
Circuit breakers, discovery, and API gateways in microservices
F Montesi, J Weber
arXiv preprint arXiv:1609.05830, 2016
1852016
Service-Oriented Programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2014
1372014
Bridging the gap between interaction-and process-oriented choreographies
I Lanese, C Guidi, F Montesi, G Zavattaro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
1282008
Choreographic Programming
F Montesi
IT University of Copenhagen, 2014
1262014
Multiparty session types as coherence proofs
M Carbone, F Montesi, C Schürmann, N Yoshida
Acta Informatica 54, 243-269, 2017
972017
Compositional choreographies
F Montesi, N Yoshida
International Conference on Concurrency Theory, 425-439, 2013
972013
Jolie: a java orchestration language interpreter engine
F Montesi, C Guidi, R Lucchi, G Zavattaro
Electronic Notes in Theoretical Computer Science 181, 19-33, 2007
962007
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
Proceedings of the 27th International Conference on Concurrency Theory, 1-15, 2016
852016
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Web Services, 2007. ECOWS'07. Fifth European Conference on, 13-22, 2007
832007
A core model for choreographic programming
L Cruz-Filipe, F Montesi
Theoretical Computer Science 802, 38-66, 2020
76*2020
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
682017
Data-driven workflows for microservices: Genericity in jolie
L Safina, M Mazzara, F Montesi, V Rivera
2016 IEEE 30th International Conference on Advanced Information Networking …, 2016
652016
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
622016
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
612010
Introduction to Choreographies
F Montesi
Cambridge University Press, 2023
552023
Programming services with correlation sets
F Montesi, M Carbone
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
482011
On the interplay between fault handling and request-response service invocations
C Guidi, I Lanese, F Montesi, G Zavattaro
2008 8th International Conference on Application of Concurrency to System …, 2008
482008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20