corpus.blog
56,966 blogs · [ { "id": "01a0b0cc-ff9d-712a-865b-a3fae3c70e49", "title": "Europrogramming", "url": "https://www.fabriziomontesi.com/bliki/Europrogramming", "published_at": "2026-09-16T14:34:54+00:00" }, { "id": "01a08776-ba2c-7361-8d4f-3aba9568bcee", "title": "EMI", "url": "https://www.fabriziomontesi.com/bliki/EMI", "published_at": "2024-12-18T07:58:04+00:00" }, { "id": "01a08776-ba2c-7361-8d4f-3aba952e1d78", "title": "ChoreographyDefinedNetwork", "url": "https://www.fabriziomontesi.com/bliki/ChoreographyDefinedNetwork", "published_at": "2024-11-18T19:27:37+00:00" }, { "id": "01a08776-ba2c-7361-8d4f-3aba9343d27f", "title": "ChoreographicProgramming2024", "url": "https://www.fabriziomontesi.com/bliki/ChoreographicProgramming2024", "published_at": "2024-06-27T16:49:03+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f11a9b29d", "title": null, "url": "https://www.fabriziomontesi.com/", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1217c2e2", "title": null, "url": "https://www.fabriziomontesi.com/index.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1258f494", "title": null, "url": "https://www.fabriziomontesi.com/research.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f12dbf2cf", "title": null, "url": "https://www.fabriziomontesi.com/dissemination.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f13a8d7d0", "title": null, "url": "https://www.fabriziomontesi.com/education.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1460bd6c", "title": null, "url": "https://www.fabriziomontesi.com/people.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f15202892", "title": "Introduction to Choreographies", "url": "https://www.fabriziomontesi.com/introduction-to-choreographies/", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f158c3c3c", "title": null, "url": "https://www.fabriziomontesi.com/bliki/", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1603337e", "title": null, "url": "https://www.fabriziomontesi.com/projects/", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f16621687", "title": null, "url": "https://www.fabriziomontesi.com/tools.html", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f17218217", "title": "Choreographic Programming", "url": "https://www.fabriziomontesi.com/publication/choreographic-programming", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f175a99c4", "title": "Service-Oriented Programming with Jolie", "url": "https://www.fabriziomontesi.com/publication/service-oriented-programming-with-jolie", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f18500d7a", "title": "JOLIE: a Service-oriented Programming Language", "url": "https://www.fabriziomontesi.com/publication/jolie-msc", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1903fffe", "title": "A Formal Theory of Choreographic Programming", "url": "https://www.fabriziomontesi.com/publication/a-formal-theory-of-choreographic-programming", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1938f4bb", "title": "LEMMA2Jolie: A tool to generate microservice APIs from domain models", "url": "https://www.fabriziomontesi.com/publication/lemma2jolie", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800a-70d5-95a7-7e5f1947127f", "title": "Reasoning About Choreographic Programs", "url": "https://www.fabriziomontesi.com/publication/reasoning-about-choreographic-programs", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3db71d138", "title": "JoT: A Jolie Framework for Testing Microservices", "url": "https://www.fabriziomontesi.com/publication/jot", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3dc2e5377", "title": "Modular Compilation for Higher-Order Functional Choreographies", "url": "https://www.fabriziomontesi.com/publication/modular-compilation-for-higher-order-functional-choreographies", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3dc4e32ce", "title": "Certified Compilation of Choreographies with hacc", "url": "https://www.fabriziomontesi.com/publication/certified-compilation-of-choreographies-with-hacc", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3dce7d951", "title": "Keep me out of the loop: a more flexible choreographic projection", "url": "https://www.fabriziomontesi.com/publication/keep-me-out-of-the-loop", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ddb3f733", "title": "Now It Compiles! Certified Automatic Repair of Uncompilable Protocols", "url": "https://www.fabriziomontesi.com/publication/now-it-compiles-certified-automatic-repair-of-uncompilable-protocols-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3de65eb59", "title": "Certified Compilation of Choreographies with hacc", "url": "https://www.fabriziomontesi.com/publication/certified-compilation-of-choreographies-with-hacc-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3df5c28ba", "title": "Real-World Choreographic Programming: An Experience Report", "url": "https://www.fabriziomontesi.com/publication/real-world-choreographic-programming-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e0238433", "title": "Alice or Bob?: Process Polymorphism in Choreographies", "url": "https://www.fabriziomontesi.com/publication/alice-or-bob-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e11cc039", "title": "Reasoning about Choreographic Programs", "url": "https://www.fabriziomontesi.com/publication/reasoning-about-choreographic-programs-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e15a4654", "title": "Ephemeral data handling in microservices with Tquery", "url": "https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices-with-tquery", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e2381cce", "title": "Microservice security: a systematic literature review", "url": "https://www.fabriziomontesi.com/publication/microservice-security", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e2e004c6", "title": "Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs", "url": "https://www.fabriziomontesi.com/publication/model-driven-generation-of-microservice-interfaces", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e35ee3b9", "title": "Functional Choreographic Programming", "url": "https://www.fabriziomontesi.com/publication/functional-choreographic-programming", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e3bfbcee", "title": "From Infinity to Choreographies - Extraction for Unbounded Systems", "url": "https://www.fabriziomontesi.com/publication/from-infinity-to-choreographies", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e44bdc23", "title": "Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings", "url": "https://www.fabriziomontesi.com/publication/proceedings-esocc-2022", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e50a5f0a", "title": "Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs", "url": "https://www.fabriziomontesi.com/publication/model-driven-generation-of-microservice-interfaces-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e59a365b", "title": "Implementing Choreography Extraction", "url": "https://www.fabriziomontesi.com/publication/implementing-choreography-extraction-complete-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e6890ae3", "title": "From Infinity to Choreographies: Extraction for Unbounded Systems", "url": "https://www.fabriziomontesi.com/publication/from-infinity-to-choreographies-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e73ccf18", "title": "A Formal Theory of Choreographic Programming", "url": "https://www.fabriziomontesi.com/publication/a-formal-theory-of-choreographic-programming-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e7fc71ce", "title": "Sliceable Monolith: Monolith First, Microservices Later", "url": "https://www.fabriziomontesi.com/publication/sliceable-monolith", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e84b1cc6", "title": "Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices", "url": "https://www.fabriziomontesi.com/publication/jolie-and-lemma", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e926d943", "title": "Multiparty Languages: The Choreographic and Multitier Cases (Pearl)", "url": "https://www.fabriziomontesi.com/publication/multiparty-languages", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3e926da01", "title": "Certifying Choreography Compilation", "url": "https://www.fabriziomontesi.com/publication/certifying-choreography-compilation", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ea1d9f05", "title": "Formalising a Turing-Complete Choreographic Language in Coq", "url": "https://www.fabriziomontesi.com/publication/formalising-a-turing-complete-choreographic-language-in-coq", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3eaca0cbc", "title": "Formalising a Turing-Complete Choreographic Language in Coq", "url": "https://www.fabriziomontesi.com/publication/formalising-a-turing-complete-choreographic-language-in-coq-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3eb67d438", "title": "Certifying Choreography Compilation", "url": "https://www.fabriziomontesi.com/publication/certifying-choreography-compilation-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3eba6334a", "title": "Sliceable Monolith: Monolith First, Microservices Later", "url": "https://www.fabriziomontesi.com/publication/sliceable-monolith-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ec87d557", "title": "Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices", "url": "https://www.fabriziomontesi.com/publication/jolie-lemma-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ed379586", "title": "Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes", "url": "https://www.fabriziomontesi.com/publication/linear-logic-the-pi-calculus-and-their-metatheory-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3eda33561", "title": "Choreographies as Functions", "url": "https://www.fabriziomontesi.com/publication/choreographies-as-functions-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ee1e3ea5", "title": "A core model for choreographic programming", "url": "https://www.fabriziomontesi.com/publication/a-core-model-for-choreographic-programming-journal", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ee2ef752", "title": "The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service", "url": "https://www.fabriziomontesi.com/publication/the-servers-of-serverless-computing", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ee87cefd", "title": "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, 2019", "url": "https://www.fabriziomontesi.com/publication/proceedings-microservices-2017-2019", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ef6c19be", "title": "Choreographies as Objects", "url": "https://www.fabriziomontesi.com/publication/choreographies-as-objects-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3efe7ff01", "title": null, "url": "https://www.fabriziomontesi.com/publication/better-late-than-never", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f0bd53ac", "title": null, "url": "https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f0ca5cd0", "title": null, "url": "https://www.fabriziomontesi.com/publication/no-more-no-less", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f0e0a208", "title": null, "url": "https://www.fabriziomontesi.com/publication/no-more-no-less-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f0e44d8e", "title": null, "url": "https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f12a7f2c", "title": null, "url": "https://www.fabriziomontesi.com/publication/implementing-choreography-extraction-impl-only-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f1eec885", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-logically-journal", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f2027fba", "title": null, "url": "https://www.fabriziomontesi.com/publication/applied-choreographies", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f2bb06d5", "title": null, "url": "https://www.fabriziomontesi.com/publication/multiparty-classical-choreographies", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f3076619", "title": null, "url": "https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisited", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f3955e08", "title": null, "url": "https://www.fabriziomontesi.com/publication/from-the-decorator-pattern-to-circuit-breakers-in-microservices", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f46a8067", "title": null, "url": "https://www.fabriziomontesi.com/publication/taking-linear-logic-apart-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f4837dd9", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-for-reactive-programming-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f48d8366", "title": null, "url": "https://www.fabriziomontesi.com/publication/classical-higher-order-processes-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f541772d", "title": null, "url": "https://www.fabriziomontesi.com/publication/classical-transitions-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f639d088", "title": null, "url": "https://www.fabriziomontesi.com/publication/connectors-meet-choreographies-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f7306756", "title": null, "url": "https://www.fabriziomontesi.com/publication/multiparty-classical-choreographies-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f7cf5c8f", "title": null, "url": "https://www.fabriziomontesi.com/publication/better-late-than-never-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f7f5ebb6", "title": null, "url": "https://www.fabriziomontesi.com/publication/multiparty-session-types-as-coherence-proofs-journal", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f8b629a8", "title": null, "url": "https://www.fabriziomontesi.com/publication/packaging-microservices", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f968c7f3", "title": null, "url": "https://www.fabriziomontesi.com/publication/procedural-choreographic-programming", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f9a88fc8", "title": null, "url": "https://www.fabriziomontesi.com/publication/classical-higher-order-processes", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3f9f1ac8f", "title": null, "url": "https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extraction", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fa330a83", "title": null, "url": "https://www.fabriziomontesi.com/publication/encoding-asynchrony-in-choreographies", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fa3b8916", "title": null, "url": "https://www.fabriziomontesi.com/publication/on-asynchrony-and-choreographies-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fb100c90", "title": null, "url": "https://www.fabriziomontesi.com/publication/microservices-yesterday-today-and-tomorrow", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fb2b97ad", "title": null, "url": "https://www.fabriziomontesi.com/publication/microservices-a-language-based-approach", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fbf398f4", "title": null, "url": "https://www.fabriziomontesi.com/publication/microservices-a-language-based-approach-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fc7dc7b2", "title": null, "url": "https://www.fabriziomontesi.com/publication/thats-enough-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fcf73a17", "title": null, "url": "https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisited-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fdef93b5", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-meet-communication-failures-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3fe836bc6", "title": null, "url": "https://www.fabriziomontesi.com/publication/behavioral-types-in-programming-languages", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e3ff469029", "title": null, "url": "https://www.fabriziomontesi.com/publication/process-aware-web-programming-with-jolie-journal", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e40027dbdc", "title": null, "url": "https://www.fabriziomontesi.com/publication/data-driven-workflows-for-microservices", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e400737ea4", "title": null, "url": "https://www.fabriziomontesi.com/publication/self-reconfiguring-microservices", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e401585578", "title": null, "url": "https://www.fabriziomontesi.com/publication/coherence-generalises-duality", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e4016b9826", "title": null, "url": "https://www.fabriziomontesi.com/publication/a-core-model-for-choreographic-programming", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e4024b2065", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-in-practice", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e4026cba84", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-divided-and-conquered-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e402e573d9", "title": null, "url": "https://www.fabriziomontesi.com/publication/refinement-types-in-jolie-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e403a09916", "title": null, "url": "https://www.fabriziomontesi.com/publication/choreographies-in-practice-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e403c9f58b", "title": null, "url": "https://www.fabriziomontesi.com/publication/microservices-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e4040ae6e3", "title": null, "url": "https://www.fabriziomontesi.com/publication/circuit-breakers-discovery-and-api-gateways-in-microservices-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e4047cbee8", "title": null, "url": "https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extraction-arxiv", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e404adcf05", "title": null, "url": "https://www.fabriziomontesi.com/publication/guest-editorial", "published_at": "2023-07-17T14:49:24+00:00" }, { "id": "01a0cfc8-800b-72bf-be54-d3e40567aca3", "title": null, "url": "https://www.fabriziomontesi.com/publication/special-issue-on-service-oriented-architecture-and-programming-soap-2013", "published_at": "2023-07-17T14:49:24+00:00" } ] 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