Följ
Fabrizio Montesi
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Verifierad e-postadress på imada.sdu.dk - Startsida
Titel
Citeras av
Citeras av
År
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
15432017
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
2052013
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
1892016
Circuit breakers, discovery, and API gateways in microservices
F Montesi, J Weber
arXiv preprint arXiv:1609.05830, 2016
1642016
Service-Oriented Programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2014
1292014
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
1262008
Choreographic Programming
F Montesi
IT University of Copenhagen, 2014
1102014
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
922007
Multiparty session types as coherence proofs
M Carbone, F Montesi, C Schürmann, N Yoshida
Acta Informatica 54, 243-269, 2017
902017
Compositional choreographies
F Montesi, N Yoshida
International Conference on Concurrency Theory, 425-439, 2013
892013
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
Leibniz International Proceedings in Informatics (LIPIcs) 59, 1-15, 2016
812016
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Web Services, 2007. ECOWS'07. Fifth European Conference on, 13-22, 2007
812007
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
662017
A core model for choreographic programming
L Cruz-Filipe, F Montesi
Theoretical Computer Science 802, 38-66, 2020
632020
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
622016
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
592016
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
592010
Programming services with correlation sets
F Montesi, M Carbone
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
452011
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
452008
Dynamic error handling in service oriented applications
C Guidi, I Lanese, F Montesi, G Zavattaro
Fundamenta Informaticae 95 (1), 73-102, 2009
412009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20