corpus.blog
41,554 blogs · 4,981,167 posts Claim your blog
Back to fabriziomontesi.com
Blog · corpus.blog/blogs/fabriziomontesi.com/posts

fabriziomontesi.com

fabriziomontesi.com

2026

Europrogrammingoriginal ↗
16 Sept 2026

2024

EMIoriginal ↗
18 Dec 2024
ChoreographyDefinedNetworkoriginal ↗
18 Nov 2024
ChoreographicProgramming2024original ↗
27 Jun 2024

2023

https://www.fabriziomontesi.com/original ↗
17 Jul 2023
https://www.fabriziomontesi.com/index.htmloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/research.htmloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/dissemination.htmloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/education.htmloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/people.htmloriginal ↗
17 Jul 2023
Introduction to Choreographiesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/bliki/original ↗
17 Jul 2023
https://www.fabriziomontesi.com/projects/original ↗
17 Jul 2023
https://www.fabriziomontesi.com/tools.htmloriginal ↗
17 Jul 2023
Choreographic Programmingoriginal ↗
17 Jul 2023
Service-Oriented Programming with Jolieoriginal ↗
17 Jul 2023
JOLIE: a Service-oriented Programming Languageoriginal ↗
17 Jul 2023
A Formal Theory of Choreographic Programmingoriginal ↗
17 Jul 2023
LEMMA2Jolie: A tool to generate microservice APIs from domain modelsoriginal ↗
17 Jul 2023
Reasoning About Choreographic Programsoriginal ↗
17 Jul 2023
JoT: A Jolie Framework for Testing Microservicesoriginal ↗
17 Jul 2023
Modular Compilation for Higher-Order Functional Choreographiesoriginal ↗
17 Jul 2023
Certified Compilation of Choreographies with haccoriginal ↗
17 Jul 2023
Keep me out of the loop: a more flexible choreographic projectionoriginal ↗
17 Jul 2023
Now It Compiles! Certified Automatic Repair of Uncompilable Protocolsoriginal ↗
17 Jul 2023
Certified Compilation of Choreographies with haccoriginal ↗
17 Jul 2023
Real-World Choreographic Programming: An Experience Reportoriginal ↗
17 Jul 2023
Alice or Bob?: Process Polymorphism in Choreographiesoriginal ↗
17 Jul 2023
Reasoning about Choreographic Programsoriginal ↗
17 Jul 2023
Ephemeral data handling in microservices with Tqueryoriginal ↗
17 Jul 2023
Microservice security: a systematic literature revieworiginal ↗
17 Jul 2023
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIsoriginal ↗
17 Jul 2023
Functional Choreographic Programmingoriginal ↗
17 Jul 2023
From Infinity to Choreographies - Extraction for Unbounded Systemsoriginal ↗
17 Jul 2023
Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedingsoriginal ↗
17 Jul 2023
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIsoriginal ↗
17 Jul 2023
Implementing Choreography Extractionoriginal ↗
17 Jul 2023
From Infinity to Choreographies: Extraction for Unbounded Systemsoriginal ↗
17 Jul 2023
A Formal Theory of Choreographic Programmingoriginal ↗
17 Jul 2023
Sliceable Monolith: Monolith First, Microservices Lateroriginal ↗
17 Jul 2023
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservicesoriginal ↗
17 Jul 2023
Multiparty Languages: The Choreographic and Multitier Cases (Pearl)original ↗
17 Jul 2023
Certifying Choreography Compilationoriginal ↗
17 Jul 2023
Formalising a Turing-Complete Choreographic Language in Coqoriginal ↗
17 Jul 2023
Formalising a Turing-Complete Choreographic Language in Coqoriginal ↗
17 Jul 2023
Certifying Choreography Compilationoriginal ↗
17 Jul 2023
Sliceable Monolith: Monolith First, Microservices Lateroriginal ↗
17 Jul 2023
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservicesoriginal ↗
17 Jul 2023
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processesoriginal ↗
17 Jul 2023
Choreographies as Functionsoriginal ↗
17 Jul 2023
A core model for choreographic programmingoriginal ↗
17 Jul 2023
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Serviceoriginal ↗
17 Jul 2023
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019original ↗
17 Jul 2023
Choreographies as Objectsoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/better-late-than-neveroriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservicesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/no-more-no-lessoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/no-more-no-less-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/implementing-choreography-extraction-impl-only-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-logically-journaloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/applied-choreographiesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/multiparty-classical-choreographiesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisitedoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/from-the-decorator-pattern-to-circuit-breakers-in-microservicesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/taking-linear-logic-apart-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-for-reactive-programming-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/classical-higher-order-processes-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/classical-transitions-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/connectors-meet-choreographies-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/multiparty-classical-choreographies-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/better-late-than-never-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/multiparty-session-types-as-coherence-proofs-journaloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/packaging-microservicesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/procedural-choreographic-programmingoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/classical-higher-order-processesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extractionoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/encoding-asynchrony-in-choreographiesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/on-asynchrony-and-choreographies-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/microservices-yesterday-today-and-tomorroworiginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/microservices-a-language-based-approachoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/microservices-a-language-based-approach-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/thats-enough-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisited-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-meet-communication-failures-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/behavioral-types-in-programming-languagesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/process-aware-web-programming-with-jolie-journaloriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/data-driven-workflows-for-microservicesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/self-reconfiguring-microservicesoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/coherence-generalises-dualityoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/a-core-model-for-choreographic-programmingoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-in-practiceoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-divided-and-conquered-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/refinement-types-in-jolie-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/choreographies-in-practice-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/microservices-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/circuit-breakers-discovery-and-api-gateways-in-microservices-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extraction-arxivoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/guest-editorialoriginal ↗
17 Jul 2023
https://www.fabriziomontesi.com/publication/special-issue-on-service-oriented-architecture-and-programming-soap-2013original ↗
17 Jul 2023
Next