Fabrizio Montesi

Available identifiers

zbMath Open montesi.fabrizioMaRDI QIDQ1699419

List of research outcomes

Publication	Date of Publication	Type
Now it compiles! Certified automatic repair of uncompilable protocols	2024-11-26	Paper
Alice or Bob?: Process polymorphism in choreographies	2024-04-18	Paper
Certified compilation of choreographies with \textsf{hacc}	2024-01-11	Paper
Multiparty classical choreographies	2023-11-09	Paper
Functional choreographic programming	2023-07-28	Paper
A formal theory of choreographic programming	2023-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q6099602	2023-06-20	Paper
From infinity to choreographies. Extraction for unbounded systems	2023-06-02	Paper
Applied Choreographies	2023-03-10	Paper
Procedural Choreographic Programming	2022-06-15	Paper
Classical Higher-Order Processes	2022-06-15	Paper
Certifying choreography compilation	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5018488	2021-12-20	Paper
Self-reconfiguring microservices	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5216414	2020-02-17	Paper
A core model for choreographic programming	2019-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5224786	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4608685	2018-03-21	Paper
Choreographies, logically	2018-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q5357720	2017-09-12	Paper
Multiparty session types as coherence proofs	2017-06-14	Paper
The Paths to Choreography Extraction	2017-05-19	Paper
The Evolution of Jolie	2015-06-22	Paper
Deadlock-freedom-by-design	2014-11-27	Paper
Choreographies, Logically	2014-09-15	Paper
Compositional Choreographies	2013-08-12	Paper
Dynamic Error Handling in Service Oriented Applications	2010-02-05	Paper

Research outcomes over time

This page was built for person: Fabrizio Montesi