corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0cfc8-800a-70d5-95a7-7e5f1258f494

https://www.fabriziomontesi.com/research.html

fabriziomontesi.com · published 17 July 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at fabriziomontesi.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
488
Words captured
16,641

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Introduction to Choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com//10.1017/9781108981491
fabriziomontesi.com
Choreographic Programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/choreographic-programming.pdf
fabriziomontesi.com
https://en.wikipedia.org/wiki/Choreographic_programming
en.wikipedia.org
https://eapls.org/items/1855/
eapls.org
Service-Oriented Programming with Jolie Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mgz14.pdf
fabriziomontesi.com
https://en.wikipedia.org/wiki/Jolie_(programming_language
en.wikipedia.org
JOLIE: a Service-oriented Programming Language Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m10.pdf
fabriziomontesi.com
https://dblp.uni-trier.de/pid/146/2078
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/53/1605
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/184/7813
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/65/3603
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/136/6159
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/53/4448
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/choreography-defined-networks-journal
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmmmpp26.pdf
fabriziomontesi.com
https://doi.org/10.1016/j.infsof.2026.108180
doi.org
https://dblp.uni-trier.de/pid/b/ClarkWBarrett
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/37/6100
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/92/2259
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/94/248
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/d/LeonardoMdeMoura
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/59/2479
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/140/9538
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/cslib-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cslib-arxiv26.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2602.04846
doi.org
https://dblp.uni-trier.de/pid/430/9279
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/computer-science-as-infrastructure-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/hm26-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2602.15078
doi.org
https://www.fabriziomontesi.com/publication/hennessy-milner-logic-in-cslib-the-lean-computer-science-library-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mpr26-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2602.15409
doi.org
https://dblp.uni-trier.de/pid/432/8649
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/232/0111
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/accompanist-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/kppm26-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2603.20942
doi.org
https://dblp.uni-trier.de/pid/94/6767
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/relax-the-semilenient-core-of-choreographic-programming-functional-pearl
fabriziomontesi.com
https://doi.org/10.1145/3747538
doi.org
https://dblp.uni-trier.de/pid/a/GulAAgha
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/crgc
fabriziomontesi.com
https://doi.org/10.1145/3729288
doi.org
https://dblp.uni-trier.de/pid/167/5000
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/349/6040
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/jot-scp-2025
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmpru25.pdf
fabriziomontesi.com
https://doi.org/10.1016/j.scico.2024.103215
doi.org
https://dblp.uni-trier.de/pid/287/9990
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/47/5013
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/a-conceptual-framework-for-api-refactoring
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mppz25.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-84617-5_15
doi.org
https://dblp.uni-trier.de/pid/182/1948
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/378/6497
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/formulas-as-processes-deadlock-freedom-as-choreographies
fabriziomontesi.com
https://www.fabriziomontesi.com/files/amm25.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-91118-7_2
doi.org
https://dblp.uni-trier.de/pid/199/2114
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/omission-failures-in-choreographic-programming
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmp25.pdf
fabriziomontesi.com
https://ceur-ws.org/Vol-4039/paper02.pdf
ceur-ws.org
https://www.fabriziomontesi.com/publication/crgc-artifact
fabriziomontesi.com
https://doi.org/10.5281/zenodo.15049131
doi.org
https://www.fabriziomontesi.com/publication/crgc-artifact-a
fabriziomontesi.com
https://doi.org/10.5281/zenodo.15052824
doi.org
https://www.fabriziomontesi.com/publication/crgc-artifact-c
fabriziomontesi.com
https://doi.org/10.5281/zenodo.15256770
doi.org
https://www.fabriziomontesi.com/publication/formulas-as-processes-deadlock-freedom-as-choreographies-extended-version-arxiv
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2501.08928
doi.org
https://dblp.uni-trier.de/pid/21/4578
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/358/3301
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/358/3293
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/μxl-computing-2024
fabriziomontesi.com
https://doi.org/10.1007/s00607-024-01321-x
doi.org
https://www.fabriziomontesi.com/publication/ozone-fully-out-of-order-choreographies-artifact
fabriziomontesi.com
https://doi.org/10.4230/DARTS.10.2.16
doi.org
https://dblp.uni-trier.de/pid/122/2921
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/alice-or-bob
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ghm24.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q129407134
wikidata.org
https://dblp.uni-trier.de/pid/g/MGabbrielli
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/a-model-for-correlation-based-choreographic-programming
fabriziomontesi.com
https://doi.org/10.7717/peerj-cs.1907
doi.org
https://dblp.uni-trier.de/pid/305/8036
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/real-world-choreographic-programming
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lm23.pdf
fabriziomontesi.com
https://doi.org/10.22152/programming-journal.org/2024/8/8
doi.org
https://www.fabriziomontesi.com/publication/choral
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmp24.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q130810659
wikidata.org
https://www.fabriziomontesi.com/publication/ozone-fully-out-of-order-choreographies
fabriziomontesi.com
https://www.fabriziomontesi.com/files/pmp24.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.ECOOP.2024.31
doi.org
https://dblp.uni-trier.de/pid/19/669
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/205/5807
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/a-toolchain-for-checking-domain--and-model-driven-properties-of-jolie-microservices
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmprsw24.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-981-96-0808-9_13
doi.org
https://www.fabriziomontesi.com/publication/choreography-defined-networks
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmmmpp24.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-981-96-0808-9_18
doi.org
https://www.fabriziomontesi.com/publication/ozone-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/pmp24-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2401.17403
doi.org
https://www.fabriziomontesi.com/publication/on-propositional-dynamic-logic-and-concurrency-arxiv
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2403.18508
doi.org
https://www.fabriziomontesi.com/publication/emi-arxiv
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mppz24.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2407.07428
doi.org
A Formal Theory of Choreographic Programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmp23.pdf
fabriziomontesi.com
https://doi.org/10.1007/s10817-023-09665-3
doi.org
LEMMA2Jolie: A tool to generate microservice APIs from domain models Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmpr23.pdf
fabriziomontesi.com
https://doi.org/10.1016/j.scico.2023.102956
doi.org
Reasoning About Choreographic Programs Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cgmp23.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-35361-1_8
doi.org
JoT: A Jolie Framework for Testing Microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmpru23.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-35361-1_10
doi.org
Modular Compilation for Higher-Order Functional Choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cglmp23.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.ECOOP.2023.7
doi.org
https://www.fabriziomontesi.com/publication/μxl
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ckmv23.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-46235-1_1
doi.org
Certified Compilation of Choreographies with hacc Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/clm23.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-35355-0_3
doi.org
https://www.fabriziomontesi.com/publication/now-it-compiles-certified-automatic-repair-of-uncompilable-protocols
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm23.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.ITP.2023.11
doi.org
https://dblp.uni-trier.de/pid/351/3646
dblp.uni-trier.de
Keep me out of the loop: a more flexible choreographic projection Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmr23.pdf
fabriziomontesi.com
https://doi.org/10.29007/wbw3
doi.org
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm23-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2302.14622
doi.org
Certified Compilation of Choreographies with hacc Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/clm23-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2303.03972
doi.org
Real-World Choreographic Programming: An Experience Report Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lm23-arxiv.pdf
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2303.03983
doi.org
Alice or Bob?: Process Polymorphism in Choreographies Read at the source ↗
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2303.04678
doi.org
Reasoning about Choreographic Programs Read at the source ↗
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2304.14539
doi.org
https://dblp.uni-trier.de/pid/172/1245
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/220/4883
dblp.uni-trier.de
Ephemeral data handling in microservices with Tquery Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmsz22.pdf
fabriziomontesi.com
https://doi.org/10.7717/peerj-cs.1037
doi.org
https://dblp.uni-trier.de/pid/233/5692
dblp.uni-trier.de
Microservice security: a systematic literature review Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/bgmmmp22.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q110949567
wikidata.org
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmpr22.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-08143-9_13
doi.org
Functional Choreographic Programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cglmp22.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-17715-6_15
doi.org
https://dblp.uni-trier.de/pid/324/7924
dblp.uni-trier.de
From Infinity to Choreographies - Extraction for Unbounded Systems Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/kcm22.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-16767-6_6
doi.org
https://dblp.uni-trier.de/pid/363/1566
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/modular-choreographies
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmmp22.pdf
fabriziomontesi.com
https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3
doi.org
https://www.fabriziomontesi.com/publication/model-driven-code-generation-for-microservices-service-models
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmpr22-m22.pdf
fabriziomontesi.com
https://doi.org/10.4230/OASIcs.Microservices.2020-2022.6
doi.org
https://dblp.uni-trier.de/pid/p/GeorgeAngelosPapadopoulos
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/z/WolfZimmermann
dblp.uni-trier.de
Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings Read at the source ↗
fabriziomontesi.com
https://doi.org/10.1007/978-3-031-04718-3
doi.org
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2202.11397
arxiv.org
https://dblp.uni-trier.de/pid/l/KimSLarsen
dblp.uni-trier.de
Implementing Choreography Extraction Read at the source ↗
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2205.02636
doi.org
From Infinity to Choreographies: Extraction for Unbounded Systems Read at the source ↗
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2207.08884
doi.org
A Formal Theory of Choreographic Programming Read at the source ↗
fabriziomontesi.com
https://doi.org/10.48550/arXiv.2209.01886
doi.org
Sliceable Monolith: Monolith First, Microservices Later Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mpp21.pdf
fabriziomontesi.com
https://doi.org/10.1109/SCC53864.2021.00050
doi.org
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmprs21.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-030-78142-2_17
doi.org
https://dblp.uni-trier.de/pid/66/3726-1
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/14/7915
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/188/1945
dblp.uni-trier.de
Multiparty Languages: The Choreographic and Multitier Cases (Pearl) Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmprsw21.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
doi.org
Certifying Choreography Compilation Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmp21b.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-030-85315-0_8
doi.org
Formalising a Turing-Complete Choreographic Language in Coq Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmp21.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.ITP.2021.15
doi.org
Formalising a Turing-Complete Choreographic Language in Coq Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2102.02627
arxiv.org
Certifying Choreography Compilation Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2102.10698
arxiv.org
Sliceable Monolith: Monolith First, Microservices Later Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2103.09518
arxiv.org
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2104.02458
arxiv.org
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2106.11818
arxiv.org
Choreographies as Functions Read at the source ↗
fabriziomontesi.com
https://arxiv.org/abs/2111.03701
arxiv.org
A core model for choreographic programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm20.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q127533993
wikidata.org
https://dblp.uni-trier.de/pid/56/3713
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/s/DavideSangiorgi
dblp.uni-trier.de
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/glmsz20.pdf
fabriziomontesi.com
https://doi.org/10.4230/OASIcs.Gabbrielli.5
doi.org
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 Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cgmprs19.pdf
fabriziomontesi.com
https://www.dagstuhl.de/dagpub/978-3-95977-137-5
dagstuhl.de
Choreographies as Objects Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmp20.pdf
fabriziomontesi.com
https://arxiv.org/abs/2005.09520
arxiv.org
https://dblp.uni-trier.de/pid/206/7258
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/better-late-than-never Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/kmp19.pdf
fabriziomontesi.com
https://doi.org/10.1145/3290337
doi.org
https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmsz19.pdf
fabriziomontesi.com
https://doi.org/10.1109/SCC.2019.00048
doi.org
https://www.fabriziomontesi.com/publication/no-more-no-less Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gglmpz19.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-030-22397-7_9
doi.org
https://www.fabriziomontesi.com/publication/no-more-no-less-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1903.07962
arxiv.org
https://www.fabriziomontesi.com/publication/ephemeral-data-handling-in-microservices-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1904.11327
arxiv.org
https://www.fabriziomontesi.com/publication/implementing-choreography-extraction-impl-only-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1910.11741
arxiv.org
https://dblp.uni-trier.de/pid/41/1366
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/07/4034-1
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/choreographies-logically-journal Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cms18.pdf
fabriziomontesi.com
https://doi.org/10.1007/s00446-017-0295-1
doi.org
https://www.fabriziomontesi.com/publication/applied-choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gmg18.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-92612-4_2
doi.org
https://dblp.uni-trier.de/pid/161/5948
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/multiparty-classical-choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ccmm18.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-030-13838-7_4
doi.org
https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisited Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmp18.pdf
fabriziomontesi.com
https://doi.org/10.1145/3167132.3167267
doi.org
https://dblp.uni-trier.de/pid/186/7899
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/from-the-decorator-pattern-to-circuit-breakers-in-microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mw18.pdf
fabriziomontesi.com
https://doi.org/10.1145/3167132.3167427
doi.org
https://www.fabriziomontesi.com/publication/taking-linear-logic-apart-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/kmp18.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q128063812
wikidata.org
https://dblp.uni-trier.de/pid/48/6550
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/choreographies-for-reactive-programming-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1801.08107
arxiv.org
https://www.fabriziomontesi.com/publication/classical-higher-order-processes-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1802.02917
arxiv.org
https://www.fabriziomontesi.com/publication/classical-transitions-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1803.01049
arxiv.org
https://dblp.uni-trier.de/pid/25/3518
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/91/8340
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/connectors-meet-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1804.08976
arxiv.org
https://www.fabriziomontesi.com/publication/multiparty-classical-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1808.05088
arxiv.org
https://www.fabriziomontesi.com/publication/better-late-than-never-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1811.02209
arxiv.org
https://dblp.uni-trier.de/pid/29/3650
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/multiparty-session-types-as-coherence-proofs-journal Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmsy17.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q113905931
wikidata.org
https://dblp.uni-trier.de/pid/200/9638
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/packaging-microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mt17-forte.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-59665-5_9
doi.org
https://www.fabriziomontesi.com/publication/procedural-choreographic-programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm17-forte.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-60225-7_7
doi.org
https://www.fabriziomontesi.com/publication/classical-higher-order-processes Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m17_forte.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-60225-7_12
doi.org
https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extraction Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/clm17.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-662-54458-7_25
doi.org
https://www.fabriziomontesi.com/publication/encoding-asynchrony-in-choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm17_sac.pdf
fabriziomontesi.com
https://doi.org/10.1145/3019612.3019901
doi.org
https://www.fabriziomontesi.com/publication/on-asynchrony-and-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm17-ice.pdf
fabriziomontesi.com
http://arxiv.org/abs/1711.11211
arxiv.org
https://dblp.uni-trier.de/pid/85/3106
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/l/AlbertoLluchLafuente
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/45/2295
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/182/2521
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/microservices-yesterday-today-and-tomorrow Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/dglmmms17.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q54479360
wikidata.org
https://dblp.uni-trier.de/pid/33/2790
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/microservices-a-language-based-approach Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/glmm17.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-67425-4_13
doi.org
https://www.fabriziomontesi.com/publication/microservices-a-language-based-approach-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1704.08073
arxiv.org
https://www.fabriziomontesi.com/publication/thats-enough-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1711.08700
arxiv.org
https://www.fabriziomontesi.com/publication/communications-in-choreographies-revisited-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1711.10201
arxiv.org
https://www.fabriziomontesi.com/publication/choreographies-meet-communication-failures-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1712.05465
arxiv.org
https://dblp.uni-trier.de/pid/a/DAncona
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/27/3453
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/08/5320
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/36/8434-2
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/c/GiuseppeCastagna
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/86/6627
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/30/4430
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/98/3900
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/16/1532
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/32/3214
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/j/EinarBrochJohnsen
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/12/2993
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/m/VMascardi
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/134/9526
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/44/9716
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/22/6590
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/97/1086
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/behavioral-types-in-programming-languages Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/btipl.pdf
fabriziomontesi.com
https://doi.org/10.1561/2500000031
doi.org
https://www.fabriziomontesi.com/publication/process-aware-web-programming-with-jolie-journal Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m16.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q59702053
wikidata.org
https://dblp.uni-trier.de/pid/40/11498
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/data-driven-workflows-for-microservices Read at the source ↗
fabriziomontesi.com
https://www.wikidata.org/entity/Q59255465
wikidata.org
https://www.fabriziomontesi.com/publication/self-reconfiguring-microservices Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gggmm16.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q62043669
wikidata.org
https://dblp.uni-trier.de/pid/97/4946
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/w/PhilipWadler
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/coherence-generalises-duality Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/clmsw16.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.CONCUR.2016.33
doi.org
https://www.fabriziomontesi.com/publication/a-core-model-for-choreographic-programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm16_facs.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-57666-4_3
doi.org
https://www.fabriziomontesi.com/publication/choreographies-in-practice Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm16_forte.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-39570-8_8
doi.org
https://www.fabriziomontesi.com/publication/choreographies-divided-and-conquered-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1602.03729
arxiv.org
https://dblp.uni-trier.de/pid/176/5140
dblp.uni-trier.de
https://dblp.uni-trier.de/pid/83/8556
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/refinement-types-in-jolie-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/tsmem16.pdf
fabriziomontesi.com
http://arxiv.org/abs/1602.06823
arxiv.org
https://www.fabriziomontesi.com/publication/choreographies-in-practice-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1602.08863
arxiv.org
https://www.fabriziomontesi.com/publication/microservices-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/dglmmms16.pdf
fabriziomontesi.com
http://arxiv.org/abs/1606.04036
arxiv.org
https://www.fabriziomontesi.com/publication/circuit-breakers-discovery-and-api-gateways-in-microservices-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mw16.pdf
fabriziomontesi.com
http://arxiv.org/abs/1609.05830
arxiv.org
https://www.fabriziomontesi.com/publication/the-paths-to-choreography-extraction-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1610.10050
arxiv.org
https://www.fabriziomontesi.com/publication/guest-editorial Read at the source ↗
fabriziomontesi.com
https://doi.org/10.22667/JISIS.2015.02.31.001
doi.org
https://www.fabriziomontesi.com/publication/special-issue-on-service-oriented-architecture-and-programming-soap-2013 Read at the source ↗
fabriziomontesi.com
https://www.wikidata.org/entity/Q59255508
wikidata.org
https://dblp.uni-trier.de/pid/32/1979
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/the-evolution-of-jolie Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lmz15.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-15545-6_29
doi.org
https://www.fabriziomontesi.com/publication/multiparty-session-types-as-coherence-proofs Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cmsy15.pdf
fabriziomontesi.com
https://doi.org/10.4230/LIPIcs.CONCUR.2015.412
doi.org
https://www.fabriziomontesi.com/publication/kickstarting-choreographic-programming Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m15.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-33612-1_1
doi.org
https://www.fabriziomontesi.com/publication/kickstarting-choreographic-programming-arxiv Read at the source ↗
fabriziomontesi.com
http://arxiv.org/abs/1502.02519
arxiv.org
https://www.fabriziomontesi.com/publication/choreographies-computationally-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm15.pdf
fabriziomontesi.com
http://arxiv.org/abs/1510.03271
arxiv.org
https://www.fabriziomontesi.com/publication/applied-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ggm15.pdf
fabriziomontesi.com
http://arxiv.org/abs/1510.03637
arxiv.org
https://www.fabriziomontesi.com/publication/data-driven-workflows-for-microservices-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/smm15.pdf
fabriziomontesi.com
http://arxiv.org/abs/1511.02597
arxiv.org
https://www.fabriziomontesi.com/publication/choreographies-logically Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cms14.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-662-44584-6_5
doi.org
https://dblp.uni-trier.de/pid/121/1410
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/progress-as-compositional-lock-freedom Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cdm14.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q57599640
wikidata.org
https://www.fabriziomontesi.com/publication/service-oriented-architectures Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ggm14.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-319-07593-8_17
doi.org
https://www.fabriziomontesi.com/publication/process-aware-web-programming-with-jolie-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m14.pdf
fabriziomontesi.com
http://arxiv.org/abs/1410.3712
arxiv.org
https://www.fabriziomontesi.com/publication/compositional-choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/my13.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-642-40184-8_30
doi.org
https://www.fabriziomontesi.com/publication/deadlock-freedom-by-design Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/cm13.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q59702062
wikidata.org
https://www.fabriziomontesi.com/publication/process-aware-web-programming-with-jolie Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/m13.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q59702050
wikidata.org
https://www.fabriziomontesi.com/publication/amending-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lmz13.pdf
fabriziomontesi.com
http://arxiv.org/abs/1308.0390
arxiv.org
https://dblp.uni-trier.de/pid/72/6805
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/interface-based-service-composition-with-aggregation Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/dggmm12b.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q62043700
wikidata.org
https://www.fabriziomontesi.com/publication/service-integration-via-target-transparent-mediation Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/dggmm12.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q62043701
wikidata.org
https://www.fabriziomontesi.com/publication/merging-multiparty-protocols-in-multiparty-choreographies-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mc11.pdf
fabriziomontesi.com
http://arxiv.org/abs/1302.6331
arxiv.org
https://www.fabriziomontesi.com/publication/an-efficient-management-of-correlation-sets-with-broadcast Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mggm11.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q62043703
wikidata.org
https://www.fabriziomontesi.com/publication/programming-services-with-correlation-sets Read at the source ↗
fabriziomontesi.com
https://doi.org/10.1007/978-3-642-25535-9_9
doi.org
https://www.fabriziomontesi.com/publication/error-handling-from-theory-to-practice Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lm10.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-642-16561-0_13
doi.org
https://www.fabriziomontesi.com/publication/a-model-of-evolvable-components Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/ms10.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-642-15640-3_11
doi.org
https://dblp.uni-trier.de/pid/78/616
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/a-framework-for-rule-based-dynamic-adaptation Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lbm10.pdf
fabriziomontesi.com
https://doi.org/10.1007/978-3-642-15640-3_19
doi.org
https://www.fabriziomontesi.com/publication/dynamic-error-handling-in-service-oriented-applications Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/glmz09.pdf
fabriziomontesi.com
https://doi.org/10.3233/FI-2009-143
doi.org
https://www.fabriziomontesi.com/publication/reasoning-about-a-service-oriented-programming-paradigm-arxiv Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/gm09.pdf
fabriziomontesi.com
http://arxiv.org/abs/0906.3920
arxiv.org
https://www.fabriziomontesi.com/publication/on-the-interplay-between-fault-handling-and-request-response-service-invocations Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/glmz08.pdf
fabriziomontesi.com
https://doi.org/10.1109/ACSD.2008.4574611
doi.org
https://www.fabriziomontesi.com/publication/dynamic-fault-handling-mechanisms-for-service-oriented-applications Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mglz08.pdf
fabriziomontesi.com
https://doi.ieeecomputersociety.org/10.1109/ECOWS.2008.20
doi.ieeecomputersociety.org
https://www.fabriziomontesi.com/publication/bridging-the-gap-between-interaction-and-process-oriented-choreographies Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/lgmz08.pdf
fabriziomontesi.com
https://doi.ieeecomputersociety.org/10.1109/SEFM.2008.11
doi.ieeecomputersociety.org
https://www.fabriziomontesi.com/publication/composing-services-with-jolie Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mgz07.pdf
fabriziomontesi.com
https://doi.ieeecomputersociety.org/10.1109/ECOWS.2007.19
doi.ieeecomputersociety.org
https://dblp.uni-trier.de/pid/69/3593
dblp.uni-trier.de
https://www.fabriziomontesi.com/publication/jolie-a-java-orchestration-engine-interpreter-engine Read at the source ↗
fabriziomontesi.com
https://www.fabriziomontesi.com/files/mglz07.pdf
fabriziomontesi.com
https://www.wikidata.org/entity/Q59702043
wikidata.org