My main research interests are programming languages and systems, cloud and edge computing, microservices, concurrency, cybersecurity, and digital democracy.
I am particularly intrigued by the problem of making software development more productive and robust. With the explosive rise of connected systems, like the Internet of Things, Edge Computing, Cloud Computing, and other distribute systems, today like never before we need solid programming methods that can support programmers in keeping up with the complexity of systems.
Improving our programming theories and tools holds the key to better productivity, innovation, and software that we can rely on.
Here's a (non-exhaustive) summary of some of the research directions that I have worked on, with a few references.
Choreographic Programming is a new programming paradigm for concurrent and distributed systems, where the developer defines communication protocols (the choreographies) and then correct implementations are automatically generated by a compiler. They are inspired by the "Alice and Bob" notation of security protocols.
I kickstarted the development of choreographic programming and developed its first proof-of-concept in my PhD thesis [Montesi, 2013], building on previous theories of endpoint projection for service-oriented computing.
Check out the website of the Choral programming language for a prototype of an object-oriented choreographic programming language compatible with mainstream practices.
If you are interested in learning the principles behind the choreographic method, check out my book 'Introduction to Choreographies'.
Microservices is a programming paradigm where all components are autonomous, reusable services that interact by exchanging messages. It has emerged as the de-facto modern paradigm for many system integrations, the Internet of Things, Edge Computing, and Cloud Computing. While the methods of microservices had already been around for years, the term became widespread after the blog post by Lewis and Fowler [2013]. Later, we wrote the first academic survey on the current status and future of the paradigm [Dragoni et al., 2017].
I am the co-creator and maintainer of Jolie, the first microservice-oriented programming language [Montesi et al., 2014]. The first version of Jolie was created in 2006, and was published in 2007 [Montesi et al., 2007]. What sets Jolie apart from other languages is that it makes us more efficient and less prone to errors, by offering native primitives for the programming and deployment of microservices. Fault recovery is an important part of this. Concretely, Jolie draws these primitives from the theory of process calculi, and brings them to practice by executing them with different protocols and data formats [Montesi, 2016].
Jolie has an active research and innovation community, commercial applications, and is taught in University courses. The Jolie community kickstarted the first international conference on Microservices.
Not all programming models are born equal. The Curry-Howard correspondence showed us that some aspects of functional programming are absolute, as they share deep structures with logical reasoning.
Now that we entered the era of concurrent and distributed systems, can we hope to find foundations that are as solid for concurrent programming? Abramsky [1994] and Bellin and Scott [1994] kickstarted this search, driven by the alluring idea that a similar correspondence might exist between linear logic [Girard, 1987] and the pi-calculus [Milner et al., 1992].
This initial development was followed by a good series of successes. Caires and Pfenning [2010] saw that linear propositions can be seen as the session types by Honda [1993], i.e., types for communication protocols. Wadler [2014] formalised the first connection between a standard presentation of session types for a functional language and linear logic. However, there remained fundamental discrepancies between linear logic and the pi-calculus (and in general, most process calculi): there was no logical rule corresponding to parallel composition, the hallmark of concurrency. This discrepancy leaks to semantics, which does not quite correspond to that of the pi-calculus, and ultimately generates a chasm: the tools developed for decades by researchers for studying the observable behaviour of processes could not be used in this research line.
In [Kokke et al., 2019], we overcame this issue by showing that there exists a conservative reformulation of linear logic based on hypersequents, originally developed by Avron [1991]. The key idea is to use hypersequents to capture that two collections of propositions can be proven independently. This led us to the rule in the figure. Say that you have two independent processes P and Q typed by G and H respectively; then, the parallel composition P|Q (with P and Q independent) is typed by G|H. In other words, the protocols in G are run in parallel to those in H. In the paper, we show that this leads to a logical reconstruction of a behavioural theory for the pi-calculus corresponding to linear logic.
We made several other contributions to this research line, for example the discovery that Multiparty Session Types (protocols with multiple participants) correspond to a sound generalisation of the principle of duality of linear logic.
In [Montesi and Weber, 2018], we analyse strategies for the deployment of circuit breakers in microservice architectures, and present a new solution based on proxy circuit breakers. Our strategy aids in keeping good service response times, and preventing DoS attacks in the presence of malicious attackers. This strategy is now recommended by NIST (National Institute of Standards and Technology, USA) in their Security Strategies for Microservices-based Application Systems [Chandramouli, 2019]. In [Montesi and Weber, 2018], we present also how the native support that the Jolie language offers for the service decorator pattern can be used to obtain a reusable implementation for circuit breakers that adapts to different deployment strategies.
In [Giallorenzo et al., 2019], we developed the first framework for ephemeral data handling in microservices, which provides privacy guarantees in edge computing by guaranteeing that queried data is never stored (only the query result is).
Much of my research on choreographic programming applies directly to cybersecurity, since it can be used to obtain correct implementations of coordination and security protocols.
Search (by title, year, authors, ...):
My page in DBLP | My profile in Google Scholar
(Some data from DBLP and Crossref.)
@book{M23, place={Cambridge}, title={Introduction to Choreographies}, publisher={Cambridge University Press}, author={Montesi, Fabrizio}, year={2023} }
@PhdThesis{M13:phd, author = "Fabrizio Montesi", title = "Choreographic {P}rogramming", school = "IT University of Copenhagen", type = "Ph.{D}. Thesis", year = 2013, note = {\url{https://www.fabriziomontesi.com/files/choreographic-programming.pdf}} }
@incollection{DBLP:books/sp/wsf14/MontesiGZ14, author = {Fabrizio Montesi and Claudio Guidi and Gianluigi Zavattaro}, editor = {Athman Bouguettaya and Quan Z. Sheng and Florian Daniel}, title = {Service-Oriented Programming with Jolie}, booktitle = {Web Services Foundations}, pages = {81--107}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-1-4614-7518-7\_4}, doi = {10.1007/978-1-4614-7518-7\_4}, timestamp = {Sat, 19 Oct 2019 19:02:56 +0200}, biburl = {https://dblp.org/rec/books/sp/wsf14/MontesiGZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@MastersThesis{M10, author = "Fabrizio Montesi", title = "{J}{O}{L}{I}{E}: a {S}ervice-oriented {P}rogramming {L}anguage", school = "University of Bologna", year = {2010}, url = {\url{https://www.fabriziomontesi.com/files/m10.pdf}} }
@article{DBLP:journals/scp/GiallorenzoMPRU25, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Narongrit Unwerawattana}, title = {JoT: {A} Jolie framework for testing microservices}, journal = {Sci. Comput. Program.}, volume = {240}, pages = {103215}, year = {2025}, url = {https://doi.org/10.1016/j.scico.2024.103215}, doi = {10.1016/J.SCICO.2024.103215}, timestamp = {Mon, 21 Oct 2024 11:11:55 +0200}, biburl = {https://dblp.org/rec/journals/scp/GiallorenzoMPRU25.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computing/CruzFilipeKMV24, author = {Lu{\'{\i}}s Cruz{-}Filipe and Sofia Kostopoulou and Fabrizio Montesi and Jonas Vistrup}, title = {{\(\mu\)}XL: explainable lead generation with microservices and hypothetical answers}, journal = {Computing}, volume = {106}, number = {11}, pages = {3419--3445}, year = {2024}, url = {https://doi.org/10.1007/s00607-024-01321-x}, doi = {10.1007/S00607-024-01321-X}, timestamp = {Mon, 28 Oct 2024 08:33:00 +0100}, biburl = {https://dblp.org/rec/journals/computing/CruzFilipeKMV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/darts/PlyukhinPM24, author = {Dan Plyukhin and Marco Peressotti and Fabrizio Montesi}, title = {Ozone: Fully Out-of-Order Choreographies (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {10}, number = {2}, pages = {16:1--16:2}, year = {2024}, url = {https://doi.org/10.4230/DARTS.10.2.16}, doi = {10.4230/DARTS.10.2.16}, timestamp = {Thu, 12 Sep 2024 13:29:32 +0200}, biburl = {https://dblp.org/rec/journals/darts/PlyukhinPM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/GraversenHM24, author = {Eva Graversen and Andrew K. Hirsch and Fabrizio Montesi}, title = {Alice or Bob?: Process polymorphism in choreographies}, journal = {J. Funct. Program.}, volume = {34}, year = {2024}, url = {https://doi.org/10.1017/s0956796823000114}, doi = {10.1017/S0956796823000114}, timestamp = {Tue, 07 May 2024 20:27:40 +0200}, biburl = {https://dblp.org/rec/journals/jfp/GraversenHM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/programming/LugovicM23, author = {Lovro Lugovic and Fabrizio Montesi}, title = {Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability}, journal = {Art Sci. Eng. Program.}, volume = {8}, number = {2}, year = {2024}, url = {https://doi.org/10.22152/programming-journal.org/2024/8/8}, doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/8}, timestamp = {Sun, 04 Aug 2024 19:47:50 +0200}, biburl = {https://dblp.org/rec/journals/programming/LugovicM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/GiallorenzoMP24, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti}, title = {Choral: Object-oriented Choreographic Programming}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {46}, number = {1}, pages = {1:1--1:59}, year = {2024}, url = {https://doi.org/10.1145/3632398}, doi = {10.1145/3632398}, timestamp = {Mon, 15 Apr 2024 08:26:23 +0200}, biburl = {https://dblp.org/rec/journals/toplas/GiallorenzoMP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/PlyukhinPM24, author = {Dan Plyukhin and Marco Peressotti and Fabrizio Montesi}, editor = {Jonathan Aldrich and Guido Salvaneschi}, title = {Ozone: Fully Out-of-Order Choreographies}, booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024, September 16-20, 2024, Vienna, Austria}, series = {LIPIcs}, volume = {313}, pages = {31:1--31:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.31}, doi = {10.4230/LIPICS.ECOOP.2024.31}, timestamp = {Thu, 12 Sep 2024 13:29:32 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/PlyukhinPM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-17403, author = {Dan Plyukhin and Marco Peressotti and Fabrizio Montesi}, title = {Ozone: Fully Out-of-Order Choreographies}, journal = {CoRR}, volume = {abs/2401.17403}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.17403}, doi = {10.48550/ARXIV.2401.17403}, eprinttype = {arXiv}, eprint = {2401.17403}, timestamp = {Sun, 06 Oct 2024 21:24:40 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-17403.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-18508, author = {Matteo Acclavio and Fabrizio Montesi and Marco Peressotti}, title = {On Propositional Dynamic Logic and Concurrency}, journal = {CoRR}, volume = {abs/2403.18508}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.18508}, doi = {10.48550/ARXIV.2403.18508}, eprinttype = {arXiv}, eprint = {2403.18508}, timestamp = {Sun, 04 Aug 2024 19:45:47 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-18508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2407-07428, author = {Fabrizio Montesi and Marco Peressotti and Valentino Picotti and Olaf Zimmermann}, title = {A Conceptual Framework for {API} Refactoring in Enterprise Application Architectures}, journal = {CoRR}, volume = {abs/2407.07428}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.07428}, doi = {10.48550/ARXIV.2407.07428}, eprinttype = {arXiv}, eprint = {2407.07428}, timestamp = {Fri, 16 Aug 2024 14:50:24 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-07428.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CruzFilipeMP23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {A Formal Theory of Choreographic Programming}, journal = {J. Autom. Reason.}, volume = {67}, number = {2}, pages = {21}, year = {2023}, url = {https://doi.org/10.1007/s10817-023-09665-3}, doi = {10.1007/S10817-023-09665-3}, timestamp = {Tue, 12 Sep 2023 07:57:44 +0200}, biburl = {https://dblp.org/rec/journals/jar/CruzFilipeMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GiallorenzoMPR23, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher}, title = {LEMMA2Jolie: {A} tool to generate microservice APIs from domain models}, journal = {Sci. Comput. Program.}, volume = {228}, pages = {102956}, year = {2023}, url = {https://doi.org/10.1016/j.scico.2023.102956}, doi = {10.1016/J.SCICO.2023.102956}, timestamp = {Sun, 06 Aug 2023 20:50:45 +0200}, biburl = {https://dblp.org/rec/journals/scp/GiallorenzoMPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/Cruz-FilipeGMP23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Fabrizio Montesi and Marco Peressotti}, editor = {Sung{-}Shik Jongmans and Ant{\'{o}}nia Lopes}, title = {Reasoning About Choreographic Programs}, booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13908}, pages = {144--162}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35361-1\_8}, doi = {10.1007/978-3-031-35361-1\_8}, timestamp = {Fri, 07 Jul 2023 23:30:43 +0200}, biburl = {https://dblp.org/rec/conf/coordination/Cruz-FilipeGMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GiallorenzoMPRU23, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Narongrit Unwerawattana}, editor = {Sung{-}Shik Jongmans and Ant{\'{o}}nia Lopes}, title = {JoT: {A} Jolie Framework for Testing Microservices}, booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13908}, pages = {172--191}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35361-1\_10}, doi = {10.1007/978-3-031-35361-1\_10}, timestamp = {Fri, 07 Jul 2023 23:30:43 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPRU23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/Cruz-FilipeGLMP23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Lovro Lugovic and Fabrizio Montesi and Marco Peressotti}, editor = {Karim Ali and Guido Salvaneschi}, title = {Modular Compilation for Higher-Order Functional Choreographies}, booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023, July 17-21, 2023, Seattle, Washington, United States}, series = {LIPIcs}, volume = {263}, pages = {7:1--7:37}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.7}, doi = {10.4230/LIPICS.ECOOP.2023.7}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/Cruz-FilipeGLMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esocc/CruzFilipeKMV23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Sofia Kostopoulou and Fabrizio Montesi and Jonas Vistrup}, editor = {George A. Papadopoulos and Florian Rademacher and Jacopo Soldani}, title = {{\(\mu\)}XL: Explainable Lead Generation with Microservices and Hypothetical Answers}, booktitle = {Service-Oriented and Cloud Computing - 10th {IFIP} {WG} 6.12 European Conference, {ESOCC} 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14183}, pages = {3--18}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-46235-1\_1}, doi = {10.1007/978-3-031-46235-1\_1}, timestamp = {Thu, 09 Nov 2023 21:13:04 +0100}, biburl = {https://dblp.org/rec/conf/esocc/CruzFilipeKMV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Cruz-FilipeLM23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Lovro Lugovic and Fabrizio Montesi}, editor = {Marieke Huisman and Ant{\'{o}}nio Ravara}, title = {Certified Compilation of Choreographies with hacc}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13910}, pages = {29--36}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35355-0\_3}, doi = {10.1007/978-3-031-35355-0\_3}, timestamp = {Fri, 07 Jul 2023 23:30:53 +0200}, biburl = {https://dblp.org/rec/conf/forte/Cruz-FilipeLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/Cruz-FilipeM23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Adam Naumowicz and Ren{\'{e}} Thiemann}, title = {Now It Compiles! Certified Automatic Repair of Uncompilable Protocols}, booktitle = {14th International Conference on Interactive Theorem Proving, {ITP} 2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland}, series = {LIPIcs}, volume = {268}, pages = {11:1--11:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ITP.2023.11}, doi = {10.4230/LIPICS.ITP.2023.11}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/Cruz-FilipeM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Cruz-FilipeMR23, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Robert R. Rasmussen}, editor = {Ruzica Piskac and Andrei Voronkov}, title = {Keep me out of the loop: a more flexible choreographic projection}, booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, series = {EPiC Series in Computing}, volume = {94}, pages = {144--163}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/wbw3}, doi = {10.29007/WBW3}, timestamp = {Sat, 30 Sep 2023 09:52:10 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Cruz-FilipeMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-14622, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {Now It Compiles! Certified Automatic Repair of Uncompilable Protocols}, journal = {CoRR}, volume = {abs/2302.14622}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.14622}, doi = {10.48550/ARXIV.2302.14622}, eprinttype = {arXiv}, eprint = {2302.14622}, timestamp = {Thu, 02 Mar 2023 10:23:33 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-14622.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-03972, author = {Lu{\'{\i}}s Cruz{-}Filipe and Lovro Lugovic and Fabrizio Montesi}, title = {Certified Compilation of Choreographies with hacc}, journal = {CoRR}, volume = {abs/2303.03972}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.03972}, doi = {10.48550/ARXIV.2303.03972}, eprinttype = {arXiv}, eprint = {2303.03972}, timestamp = {Wed, 15 Mar 2023 17:23:45 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-03972.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-03983, author = {Lovro Lugovic and Fabrizio Montesi}, title = {Real-World Choreographic Programming: An Experience Report}, journal = {CoRR}, volume = {abs/2303.03983}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.03983}, doi = {10.48550/ARXIV.2303.03983}, eprinttype = {arXiv}, eprint = {2303.03983}, timestamp = {Wed, 15 Mar 2023 17:23:45 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-03983.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-04678, author = {Eva Graversen and Andrew K. Hirsch and Fabrizio Montesi}, title = {Alice or Bob?: Process Polymorphism in Choreographies}, journal = {CoRR}, volume = {abs/2303.04678}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.04678}, doi = {10.48550/ARXIV.2303.04678}, eprinttype = {arXiv}, eprint = {2303.04678}, timestamp = {Sun, 12 Nov 2023 02:17:11 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-04678.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-14539, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Fabrizio Montesi and Marco Peressotti}, title = {Reasoning about Choreographic Programs}, journal = {CoRR}, volume = {abs/2304.14539}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.14539}, doi = {10.48550/ARXIV.2304.14539}, eprinttype = {arXiv}, eprint = {2304.14539}, timestamp = {Thu, 04 May 2023 15:47:42 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-14539.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/GiallorenzoMSZ22, author = {Saverio Giallorenzo and Fabrizio Montesi and Larisa Safina and Stefano Pio Zingaro}, title = {Ephemeral data handling in microservices with Tquery}, journal = {PeerJ Comput. Sci.}, volume = {8}, pages = {e1037}, year = {2022}, url = {https://doi.org/10.7717/peerj-cs.1037}, doi = {10.7717/PEERJ-CS.1037}, timestamp = {Sat, 30 Sep 2023 10:23:31 +0200}, biburl = {https://dblp.org/rec/journals/peerj-cs/GiallorenzoMSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/BerardiGMMMP22, author = {Davide Berardi and Saverio Giallorenzo and Jacopo Mauro and Andrea Melis and Fabrizio Montesi and Marco Prandini}, title = {Microservice security: a systematic literature review}, journal = {PeerJ Comput. Sci.}, volume = {8}, pages = {e779}, year = {2022}, url = {https://doi.org/10.7717/peerj-cs.779}, doi = {10.7717/PEERJ-CS.779}, timestamp = {Sat, 09 Apr 2022 12:23:40 +0200}, biburl = {https://dblp.org/rec/journals/peerj-cs/BerardiGMMMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GiallorenzoMPR22, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher}, editor = {Maurice H. ter Beek and Marjan Sirjani}, title = {Model-Driven Generation of Microservice Interfaces: From {LEMMA} Domain Models to Jolie APIs}, booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13271}, pages = {223--240}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08143-9\_13}, doi = {10.1007/978-3-031-08143-9\_13}, timestamp = {Tue, 28 Jun 2022 21:08:26 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Cruz-FilipeGLMP22, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Lovro Lugovic and Fabrizio Montesi and Marco Peressotti}, editor = {Helmut Seidl and Zhiming Liu and Corina S. Pasareanu}, title = {Functional Choreographic Programming}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13572}, pages = {212--237}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17715-6\_15}, doi = {10.1007/978-3-031-17715-6\_15}, timestamp = {Mon, 05 Dec 2022 13:35:50 +0100}, biburl = {https://dblp.org/rec/conf/ictac/Cruz-FilipeGLMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/KjaerCM22, author = {Bj{\o}rn Angel Kj{\ae}r and Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Alicia Villanueva}, title = {From Infinity to Choreographies - Extraction for Unbounded Systems}, booktitle = {Logic-Based Program Synthesis and Transformation - 32nd International Symposium, {LOPSTR} 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13474}, pages = {103--120}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-16767-6\_6}, doi = {10.1007/978-3-031-16767-6\_6}, timestamp = {Tue, 18 Oct 2022 22:17:04 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/KjaerCM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/microservices/Cruz-FilipeMMP22, author = {Lu{\'{\i}}s Cruz{-}Filipe and Anne Madsen and Fabrizio Montesi and Marco Peressotti}, editor = {Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann}, title = {Modular Choreographies: Bridging Alice and Bob Notation to Java}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France}, series = {OASIcs}, volume = {111}, pages = {3:1--3:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3}, doi = {10.4230/OASICS.MICROSERVICES.2020-2022.3}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/microservices/Cruz-FilipeMMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/microservices/GiallorenzoMPR22, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher}, editor = {Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann}, title = {Model-Driven Code Generation for Microservices: Service Models}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France}, series = {OASIcs}, volume = {111}, pages = {6:1--6:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.6}, doi = {10.4230/OASICS.MICROSERVICES.2020-2022.6}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/microservices/GiallorenzoMPR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esocc/2022, editor = {Fabrizio Montesi and George Angelos Papadopoulos and Wolf Zimmermann}, title = {Service-Oriented and Cloud Computing - 9th {IFIP} {WG} 6.12 European Conference, {ESOCC} 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13226}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-04718-3}, doi = {10.1007/978-3-031-04718-3}, isbn = {978-3-031-04717-6}, timestamp = {Wed, 20 Apr 2022 16:20:41 +0200}, biburl = {https://dblp.org/rec/conf/esocc/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-11397, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher}, title = {Model-Driven Generation of Microservice Interfaces: From {LEMMA} Domain Models to Jolie APIs}, journal = {CoRR}, volume = {abs/2202.11397}, year = {2022}, url = {https://arxiv.org/abs/2202.11397}, eprinttype = {arXiv}, eprint = {2202.11397}, timestamp = {Wed, 02 Mar 2022 16:35:04 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-11397.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-02636, author = {Lu{\'{\i}}s Cruz{-}Filipe and Kim S. Larsen and Fabrizio Montesi and Larisa Safina}, title = {Implementing Choreography Extraction}, journal = {CoRR}, volume = {abs/2205.02636}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.02636}, doi = {10.48550/ARXIV.2205.02636}, eprinttype = {arXiv}, eprint = {2205.02636}, timestamp = {Wed, 11 May 2022 17:29:40 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-02636.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-08884, author = {Bj{\o}rn Angel Kj{\ae}r and Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {From Infinity to Choreographies: Extraction for Unbounded Systems}, journal = {CoRR}, volume = {abs/2207.08884}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.08884}, doi = {10.48550/ARXIV.2207.08884}, eprinttype = {arXiv}, eprint = {2207.08884}, timestamp = {Mon, 25 Jul 2022 14:56:58 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-08884.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-01886, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {A Formal Theory of Choreographic Programming}, journal = {CoRR}, volume = {abs/2209.01886}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.01886}, doi = {10.48550/ARXIV.2209.01886}, eprinttype = {arXiv}, eprint = {2209.01886}, timestamp = {Mon, 26 Sep 2022 18:12:06 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-01886.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/MontesiPP21, author = {Fabrizio Montesi and Marco Peressotti and Valentino Picotti}, editor = {Barbara Carminati and Carl K. Chang and Ernesto Daminai and Shuigung Deng and Wei Tan and Zhongjie Wang and Robert Ward and Jia Zhang}, title = {Sliceable Monolith: Monolith First, Microservices Later}, booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021, Chicago, IL, USA, September 5-10, 2021}, pages = {364--366}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SCC53864.2021.00050}, doi = {10.1109/SCC53864.2021.00050}, timestamp = {Mon, 21 Oct 2024 07:58:42 +0200}, biburl = {https://dblp.org/rec/conf/IEEEscc/MontesiPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GiallorenzoMPRS21, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh}, editor = {Ferruccio Damiani and Ornela Dardha}, title = {Jolie and {LEMMA:} Model-Driven Engineering and Programming Languages Meet on Microservices}, booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12717}, pages = {276--284}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78142-2\_17}, doi = {10.1007/978-3-030-78142-2\_17}, timestamp = {Tue, 15 Jun 2021 17:23:40 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/GiallorenzoMPRS21, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and David Richter and Guido Salvaneschi and Pascal Weisenburger}, editor = {Anders M{\o}ller and Manu Sridharan}, title = {Multiparty Languages: The Choreographic and Multitier Cases (Pearl)}, booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)}, series = {LIPIcs}, volume = {194}, pages = {22:1--22:27}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.22}, doi = {10.4230/LIPICS.ECOOP.2021.22}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/GiallorenzoMPRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Cruz-FilipeMP21, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, editor = {Antonio Cerone and Peter Csaba {\"{O}}lveczky}, title = {Certifying Choreography Compilation}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12819}, pages = {115--133}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-85315-0\_8}, doi = {10.1007/978-3-030-85315-0\_8}, timestamp = {Wed, 01 Sep 2021 12:53:43 +0200}, biburl = {https://dblp.org/rec/conf/ictac/Cruz-FilipeMP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/Cruz-FilipeMP21, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, editor = {Liron Cohen and Cezary Kaliszyk}, title = {Formalising a Turing-Complete Choreographic Language in Coq}, booktitle = {12th International Conference on Interactive Theorem Proving, {ITP} 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)}, series = {LIPIcs}, volume = {193}, pages = {15:1--15:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ITP.2021.15}, doi = {10.4230/LIPICS.ITP.2021.15}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/Cruz-FilipeMP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-02627, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {Formalising a Turing-Complete Choreographic Language in Coq}, journal = {CoRR}, volume = {abs/2102.02627}, year = {2021}, url = {https://arxiv.org/abs/2102.02627}, eprinttype = {arXiv}, eprint = {2102.02627}, timestamp = {Tue, 09 Feb 2021 13:35:56 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-02627.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-10698, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {Certifying Choreography Compilation}, journal = {CoRR}, volume = {abs/2102.10698}, year = {2021}, url = {https://arxiv.org/abs/2102.10698}, eprinttype = {arXiv}, eprint = {2102.10698}, timestamp = {Wed, 24 Feb 2021 15:42:45 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-10698.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-09518, author = {Fabrizio Montesi and Marco Peressotti and Valentino Picotti}, title = {Sliceable Monolith: Monolith First, Microservices Later}, journal = {CoRR}, volume = {abs/2103.09518}, year = {2021}, url = {https://arxiv.org/abs/2103.09518}, eprinttype = {arXiv}, eprint = {2103.09518}, timestamp = {Tue, 23 Mar 2021 16:29:47 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-09518.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-02458, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh}, title = {Jolie {\&} {LEMMA:} Model-Driven Engineering and Programming Languages Meet on Microservices}, journal = {CoRR}, volume = {abs/2104.02458}, year = {2021}, url = {https://arxiv.org/abs/2104.02458}, eprinttype = {arXiv}, eprint = {2104.02458}, timestamp = {Tue, 13 Apr 2021 16:46:17 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-02458.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-11818, author = {Fabrizio Montesi and Marco Peressotti}, title = {Linear Logic, the {\(\pi\)}-calculus, and their Metatheory: {A} Recipe for Proofs as Processes}, journal = {CoRR}, volume = {abs/2106.11818}, year = {2021}, url = {https://arxiv.org/abs/2106.11818}, eprinttype = {arXiv}, eprint = {2106.11818}, timestamp = {Wed, 30 Jun 2021 16:14:10 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-11818.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-03701, author = {Lu{\'{\i}}s Cruz{-}Filipe and Eva Graversen and Lovro Lugovic and Fabrizio Montesi and Marco Peressotti}, title = {Choreographies as Functions}, journal = {CoRR}, volume = {abs/2111.03701}, year = {2021}, url = {https://arxiv.org/abs/2111.03701}, eprinttype = {arXiv}, eprint = {2111.03701}, timestamp = {Wed, 10 Nov 2021 16:07:30 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-03701.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Cruz-FilipeM20, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {A core model for choreographic programming}, journal = {Theor. Comput. Sci.}, volume = {802}, pages = {38--66}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.07.005}, doi = {10.1016/J.TCS.2019.07.005}, timestamp = {Mon, 26 Oct 2020 08:45:43 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Cruz-FilipeM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GiallorenzoLMSZ20, author = {Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Davide Sangiorgi and Stefano Pio Zingaro}, editor = {Frank S. de Boer and Jacopo Mauro}, title = {The Servers of Serverless Computing: {A} Formal Revisitation of Functions as a Service}, booktitle = {Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy}, series = {OASIcs}, volume = {86}, pages = {5:1--5:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/OASIcs.Gabbrielli.5}, doi = {10.4230/OASICS.GABBRIELLI.5}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GiallorenzoLMSZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/microservices/2019, editor = {Lu{\'{\i}}s Cruz{-}Filipe and Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh}, title = {Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense, Denmark / February 19-21, 2019, Dortmund, Germany}, series = {OASIcs}, volume = {78}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-137-5}, isbn = {978-3-95977-137-5}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/microservices/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-09520, author = {Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti}, title = {Choreographies as Objects}, journal = {CoRR}, volume = {abs/2005.09520}, year = {2020}, url = {https://arxiv.org/abs/2005.09520}, eprinttype = {arXiv}, eprint = {2005.09520}, timestamp = {Fri, 22 May 2020 16:21:28 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-09520.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KokkeMP19, author = {Wen Kokke and Fabrizio Montesi and Marco Peressotti}, title = {Better late than never: a fully-abstract semantics for classical processes}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {24:1--24:29}, year = {2019}, url = {https://doi.org/10.1145/3290337}, doi = {10.1145/3290337}, timestamp = {Wed, 17 Feb 2021 08:54:04 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KokkeMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/GiallorenzoMSZ19, author = {Saverio Giallorenzo and Fabrizio Montesi and Larisa Safina and Stefano Pio Zingaro}, editor = {Elisa Bertino and Carl K. Chang and Peter Chen and Ernesto Damiani and Michael Goul and Katsunori Oyama}, title = {Ephemeral Data Handling in Microservices}, booktitle = {2019 {IEEE} International Conference on Services Computing, {SCC} 2019, Milan, Italy, July 8-13, 2019}, pages = {234--236}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SCC.2019.00048}, doi = {10.1109/SCC.2019.00048}, timestamp = {Sat, 05 Sep 2020 18:05:54 +0200}, biburl = {https://dblp.org/rec/conf/IEEEscc/GiallorenzoMSZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GabbrielliGLMPZ19, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro}, editor = {Hanne Riis Nielson and Emilio Tuosto}, title = {No More, No Less - {A} Formal Model for Serverless Computing}, booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11533}, pages = {148--157}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-22397-7\_9}, doi = {10.1007/978-3-030-22397-7\_9}, timestamp = {Sat, 09 Apr 2022 12:35:33 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GabbrielliGLMPZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-07962, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro}, title = {No more, no less - {A} formal model for serverless computing}, journal = {CoRR}, volume = {abs/1903.07962}, year = {2019}, url = {http://arxiv.org/abs/1903.07962}, eprinttype = {arXiv}, eprint = {1903.07962}, timestamp = {Sat, 23 Jan 2021 01:17:26 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-07962.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-11327, author = {Saverio Giallorenzo and Fabrizio Montesi and Larisa Safina and Stefano Pio Zingaro}, title = {Ephemeral Data Handling in Microservices - Technical Report}, journal = {CoRR}, volume = {abs/1904.11327}, year = {2019}, url = {http://arxiv.org/abs/1904.11327}, eprinttype = {arXiv}, eprint = {1904.11327}, timestamp = {Sat, 23 Jan 2021 01:11:27 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-11327.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-11741, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Larisa Safina}, title = {Implementing choreography extraction}, journal = {CoRR}, volume = {abs/1910.11741}, year = {2019}, url = {http://arxiv.org/abs/1910.11741}, eprinttype = {arXiv}, eprint = {1910.11741}, timestamp = {Thu, 31 Oct 2019 14:02:26 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-11741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/CarboneMS18, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch{\"{u}}rmann}, title = {Choreographies, logically}, journal = {Distributed Comput.}, volume = {31}, number = {1}, pages = {51--67}, year = {2018}, url = {https://doi.org/10.1007/s00446-017-0295-1}, doi = {10.1007/S00446-017-0295-1}, timestamp = {Wed, 10 Jan 2024 22:27:38 +0100}, biburl = {https://dblp.org/rec/journals/dc/CarboneMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GiallorenzoMG18, author = {Saverio Giallorenzo and Fabrizio Montesi and Maurizio Gabbrielli}, editor = {Christel Baier and Lu{\'{\i}}s Caires}, title = {Applied Choreographies}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10854}, pages = {21--40}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92612-4\_2}, doi = {10.1007/978-3-319-92612-4\_2}, timestamp = {Sat, 09 Apr 2022 12:37:51 +0200}, biburl = {https://dblp.org/rec/conf/forte/GiallorenzoMG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/CarboneCMM18, author = {Marco Carbone and Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Agata Murawska}, editor = {Fred Mesnard and Peter J. Stuckey}, title = {Multiparty Classical Choreographies}, booktitle = {Logic-Based Program Synthesis and Transformation - 28th International Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11408}, pages = {59--76}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-13838-7\_4}, doi = {10.1007/978-3-030-13838-7\_4}, timestamp = {Wed, 25 Sep 2019 18:04:29 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/CarboneCMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Cruz-FilipeMP18, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {Communications in choreographies, revisited}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1248--1255}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167267}, doi = {10.1145/3167132.3167267}, timestamp = {Wed, 25 Sep 2019 18:12:14 +0200}, biburl = {https://dblp.org/rec/conf/sac/Cruz-FilipeMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MontesiW18, author = {Fabrizio Montesi and Janine Weber}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {From the decorator pattern to circuit breakers in microservices}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1733--1735}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167427}, doi = {10.1145/3167132.3167427}, timestamp = {Wed, 25 Sep 2019 18:12:13 +0200}, biburl = {https://dblp.org/rec/conf/sac/MontesiW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1904-06848, author = {Wen Kokke and Fabrizio Montesi and Marco Peressotti}, editor = {Thomas Ehrhard and Maribel Fern{\'{a}}ndez and Valeria de Paiva and Lorenzo Tortora de Falco}, title = {Taking Linear Logic Apart}, booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018}, series = {{EPTCS}}, volume = {292}, pages = {90--103}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.292.5}, doi = {10.4204/EPTCS.292.5}, timestamp = {Sat, 19 Oct 2019 19:22:56 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-06848.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-08107, author = {Marco Carbone and Fabrizio Montesi and Hugo Torres Vieira}, title = {Choreographies for Reactive Programming}, journal = {CoRR}, volume = {abs/1801.08107}, year = {2018}, url = {http://arxiv.org/abs/1801.08107}, eprinttype = {arXiv}, eprint = {1801.08107}, timestamp = {Mon, 13 Aug 2018 16:46:02 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-08107.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-02917, author = {Fabrizio Montesi}, title = {Classical Higher-Order Processes}, journal = {CoRR}, volume = {abs/1802.02917}, year = {2018}, url = {http://arxiv.org/abs/1802.02917}, eprinttype = {arXiv}, eprint = {1802.02917}, timestamp = {Mon, 13 Aug 2018 16:46:22 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-02917.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-01049, author = {Fabrizio Montesi and Marco Peressotti}, title = {Classical Transitions}, journal = {CoRR}, volume = {abs/1803.01049}, year = {2018}, url = {http://arxiv.org/abs/1803.01049}, eprinttype = {arXiv}, eprint = {1803.01049}, timestamp = {Mon, 13 Aug 2018 16:48:04 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01049.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-08976, author = {Farhad Arbab and Lu{\'{\i}}s Cruz{-}Filipe and Sung{-}Shik Jongmans and Fabrizio Montesi}, title = {Connectors meet Choreographies}, journal = {CoRR}, volume = {abs/1804.08976}, year = {2018}, url = {http://arxiv.org/abs/1804.08976}, eprinttype = {arXiv}, eprint = {1804.08976}, timestamp = {Mon, 24 Sep 2018 12:27:36 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-08976.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-05088, author = {Marco Carbone and Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Agata Murawska}, title = {Multiparty Classical Choreographies}, journal = {CoRR}, volume = {abs/1808.05088}, year = {2018}, url = {http://arxiv.org/abs/1808.05088}, eprinttype = {arXiv}, eprint = {1808.05088}, timestamp = {Sun, 02 Sep 2018 15:01:57 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-05088.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-02209, author = {Wen Kokke and Fabrizio Montesi and Marco Peressotti}, title = {Better Late Than Never: {A} Fully Abstract Semantics for Classical Processes}, journal = {CoRR}, volume = {abs/1811.02209}, year = {2018}, url = {http://arxiv.org/abs/1811.02209}, eprinttype = {arXiv}, eprint = {1811.02209}, timestamp = {Sat, 23 Jan 2021 01:12:33 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-02209.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/CarboneMSY17, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Nobuko Yoshida}, title = {Multiparty session types as coherence proofs}, journal = {Acta Informatica}, volume = {54}, number = {3}, pages = {243--269}, year = {2017}, url = {https://doi.org/10.1007/s00236-016-0285-y}, doi = {10.1007/S00236-016-0285-Y}, timestamp = {Wed, 10 Jan 2024 22:27:38 +0100}, biburl = {https://dblp.org/rec/journals/acta/CarboneMSY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dais/MontesiT17, author = {Fabrizio Montesi and Dan Sebastian Thrane}, editor = {Lydia Y. Chen and Hans P. Reiser}, title = {Packaging Microservices - (Work in Progress)}, booktitle = {Distributed Applications and Interoperable Systems - 17th {IFIP} {WG} 6.1 International Conference, {DAIS} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10320}, pages = {131--137}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59665-5\_9}, doi = {10.1007/978-3-319-59665-5\_9}, timestamp = {Wed, 25 Sep 2019 18:04:11 +0200}, biburl = {https://dblp.org/rec/conf/dais/MontesiT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Cruz-FilipeM17, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Ahmed Bouajjani and Alexandra Silva}, title = {Procedural Choreographic Programming}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10321}, pages = {92--107}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60225-7\_7}, doi = {10.1007/978-3-319-60225-7\_7}, timestamp = {Wed, 25 Sep 2019 18:07:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/Cruz-FilipeM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Montesi17, author = {Fabrizio Montesi}, editor = {Ahmed Bouajjani and Alexandra Silva}, title = {Classical Higher-Order Processes - (Short Paper)}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10321}, pages = {171--178}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60225-7\_12}, doi = {10.1007/978-3-319-60225-7\_12}, timestamp = {Wed, 25 Sep 2019 18:07:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/Montesi17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Cruz-FilipeLM17, author = {Lu{\'{\i}}s Cruz{-}Filipe and Kim S. Larsen and Fabrizio Montesi}, editor = {Javier Esparza and Andrzej S. Murawski}, title = {The Paths to Choreography Extraction}, booktitle = {Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10203}, pages = {424--440}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54458-7\_25}, doi = {10.1007/978-3-662-54458-7\_25}, timestamp = {Wed, 25 Sep 2019 18:04:52 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Cruz-FilipeLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Cruz-FilipeM17, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, title = {Encoding asynchrony in choreographies}, booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017}, pages = {1175--1177}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3019612.3019901}, doi = {10.1145/3019612.3019901}, timestamp = {Wed, 01 Feb 2023 17:58:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/Cruz-FilipeM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1711-11211, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Massimo Bartoletti and Laura Bocchi and Ludovic Henrio and Sophia Knight}, title = {On Asynchrony and Choreographies}, booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017}, series = {{EPTCS}}, volume = {261}, pages = {76--90}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.261.8}, doi = {10.4204/EPTCS.261.8}, timestamp = {Wed, 25 Sep 2019 17:52:38 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-11211.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/DragoniGLMMMS17, author = {Nicola Dragoni and Saverio Giallorenzo and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi and Ruslan Mustafin and Larisa Safina}, editor = {Manuel Mazzara and Bertrand Meyer}, title = {Microservices: Yesterday, Today, and Tomorrow}, booktitle = {Present and Ulterior Software Engineering}, pages = {195--216}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67425-4\_12}, doi = {10.1007/978-3-319-67425-4\_12}, timestamp = {Sun, 25 Oct 2020 22:32:23 +0100}, biburl = {https://dblp.org/rec/books/sp/17/DragoniGLMMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/GuidiLMM17, author = {Claudio Guidi and Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, editor = {Manuel Mazzara and Bertrand Meyer}, title = {Microservices: {A} Language-Based Approach}, booktitle = {Present and Ulterior Software Engineering}, pages = {217--225}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67425-4\_13}, doi = {10.1007/978-3-319-67425-4\_13}, timestamp = {Sun, 25 Oct 2020 22:32:23 +0100}, biburl = {https://dblp.org/rec/books/sp/17/GuidiLMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GuidiLMM17, author = {Claudio Guidi and Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, title = {Microservices: a Language-based Approach}, journal = {CoRR}, volume = {abs/1704.08073}, year = {2017}, url = {http://arxiv.org/abs/1704.08073}, eprinttype = {arXiv}, eprint = {1704.08073}, timestamp = {Mon, 13 Aug 2018 16:49:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/GuidiLMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-08700, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {That's Enough: Asynchrony with Standard Choreography Primitives}, journal = {CoRR}, volume = {abs/1711.08700}, year = {2017}, url = {http://arxiv.org/abs/1711.08700}, eprinttype = {arXiv}, eprint = {1711.08700}, timestamp = {Mon, 13 Aug 2018 16:49:11 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-08700.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-10201, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi and Marco Peressotti}, title = {Communications in Choreographies, Revisited}, journal = {CoRR}, volume = {abs/1711.10201}, year = {2017}, url = {http://arxiv.org/abs/1711.10201}, eprinttype = {arXiv}, eprint = {1711.10201}, timestamp = {Mon, 13 Aug 2018 16:46:53 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-10201.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-05465, author = {Fabrizio Montesi and Marco Peressotti}, title = {Choreographies meet Communication Failures}, journal = {CoRR}, volume = {abs/1712.05465}, year = {2017}, url = {http://arxiv.org/abs/1712.05465}, eprinttype = {arXiv}, eprint = {1712.05465}, timestamp = {Mon, 13 Aug 2018 16:47:38 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-05465.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16, author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre{-}Malo Deni{\'{e}}lou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Behavioral Types in Programming Languages}, journal = {Found. Trends Program. Lang.}, volume = {3}, number = {2-3}, pages = {95--230}, year = {2016}, url = {https://doi.org/10.1561/2500000031}, doi = {10.1561/2500000031}, timestamp = {Tue, 21 Mar 2023 21:16:07 +0100}, biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Montesi16, author = {Fabrizio Montesi}, title = {Process-aware web programming with Jolie}, journal = {Sci. Comput. Program.}, volume = {130}, pages = {69--96}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2016.05.002}, doi = {10.1016/J.SCICO.2016.05.002}, timestamp = {Wed, 17 Feb 2021 21:56:01 +0100}, biburl = {https://dblp.org/rec/journals/scp/Montesi16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/SafinaMMR16, author = {Larisa Safina and Manuel Mazzara and Fabrizio Montesi and Victor Rivera}, editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Antonio J. Jara and Yann Bocchi}, title = {Data-Driven Workflows for Microservices: Genericity in Jolie}, booktitle = {30th {IEEE} International Conference on Advanced Information Networking and Applications, {AINA} 2016, Crans-Montana, Switzerland, 23-25 March, 2016}, pages = {430--437}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/AINA.2016.95}, doi = {10.1109/AINA.2016.95}, timestamp = {Fri, 24 Mar 2023 00:03:54 +0100}, biburl = {https://dblp.org/rec/conf/aina/SafinaMMR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GabbrielliGGMM16, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Claudio Guidi and Jacopo Mauro and Fabrizio Montesi}, editor = {Erika {\'{A}}brah{\'{a}}m and Marcello M. Bonsangue and Einar Broch Johnsen}, title = {Self-Reconfiguring Microservices}, booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9660}, pages = {194--210}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30734-3\_14}, doi = {10.1007/978-3-319-30734-3\_14}, timestamp = {Sat, 09 Apr 2022 12:46:09 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GabbrielliGGMM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CarboneLMSW16, author = {Marco Carbone and Sam Lindley and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Philip Wadler}, editor = {Jos{\'{e}}e Desharnais and Radha Jagadeesan}, title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty Session Types}, booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada}, series = {LIPIcs}, volume = {59}, pages = {33:1--33:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.33}, doi = {10.4230/LIPICS.CONCUR.2016.33}, timestamp = {Wed, 10 Jan 2024 22:27:40 +0100}, biburl = {https://dblp.org/rec/conf/concur/CarboneLMSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/Cruz-FilipeM16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Olga Kouchnarenko and Ramtin Khosravi}, title = {A Core Model for Choreographic Programming}, booktitle = {Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10231}, pages = {17--35}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-57666-4\_3}, doi = {10.1007/978-3-319-57666-4\_3}, timestamp = {Wed, 25 Sep 2019 18:10:28 +0200}, biburl = {https://dblp.org/rec/conf/facs2/Cruz-FilipeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Cruz-FilipeM16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Elvira Albert and Ivan Lanese}, title = {Choreographies in Practice}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {114--123}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_8}, doi = {10.1007/978-3-319-39570-8\_8}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/Cruz-FilipeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Cruz-FilipeM16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {Choreographies, Divided and Conquered}, journal = {CoRR}, volume = {abs/1602.03729}, year = {2016}, url = {http://arxiv.org/abs/1602.03729}, eprinttype = {arXiv}, eprint = {1602.03729}, timestamp = {Mon, 13 Aug 2018 16:48:45 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TchitchiginSMEM16, author = {Alexander Tchitchigin and Larisa Safina and Manuel Mazzara and Mohamed Elwakil and Fabrizio Montesi and Victor Rivera}, title = {Refinement types in Jolie}, journal = {CoRR}, volume = {abs/1602.06823}, year = {2016}, url = {http://arxiv.org/abs/1602.06823}, eprinttype = {arXiv}, eprint = {1602.06823}, timestamp = {Mon, 17 Sep 2018 07:34:47 +0200}, biburl = {https://dblp.org/rec/journals/corr/TchitchiginSMEM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Cruz-FilipeM16a, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {Choreographies in Practice}, journal = {CoRR}, volume = {abs/1602.08863}, year = {2016}, url = {http://arxiv.org/abs/1602.08863}, eprinttype = {arXiv}, eprint = {1602.08863}, timestamp = {Mon, 13 Aug 2018 16:48:06 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeM16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DragoniGLMMMS16, author = {Nicola Dragoni and Saverio Giallorenzo and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi and Ruslan Mustafin and Larisa Safina}, title = {Microservices: yesterday, today, and tomorrow}, journal = {CoRR}, volume = {abs/1606.04036}, year = {2016}, url = {http://arxiv.org/abs/1606.04036}, eprinttype = {arXiv}, eprint = {1606.04036}, timestamp = {Mon, 13 Aug 2018 16:46:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/DragoniGLMMMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MontesiW16, author = {Fabrizio Montesi and Janine Weber}, title = {Circuit Breakers, Discovery, and {API} Gateways in Microservices}, journal = {CoRR}, volume = {abs/1609.05830}, year = {2016}, url = {http://arxiv.org/abs/1609.05830}, eprinttype = {arXiv}, eprint = {1609.05830}, timestamp = {Mon, 13 Aug 2018 16:46:02 +0200}, biburl = {https://dblp.org/rec/journals/corr/MontesiW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Cruz-FilipeLM16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Kim S. Larsen and Fabrizio Montesi}, title = {The Paths to Choreography Extraction}, journal = {CoRR}, volume = {abs/1610.10050}, year = {2016}, url = {http://arxiv.org/abs/1610.10050}, eprinttype = {arXiv}, eprint = {1610.10050}, timestamp = {Mon, 13 Aug 2018 16:47:44 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeLM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jisis/BravettiLMM15, author = {Mario Bravetti and Alberto Lluch{-}Lafuente and Manuel Mazzara and Fabrizio Montesi}, title = {Guest Editorial: Special Issue on Service-Oriented Architectures and Programming}, journal = {J. Internet Serv. Inf. Secur.}, volume = {5}, number = {1}, pages = {1--2}, year = {2015}, url = {https://doi.org/10.22667/JISIS.2015.02.31.001}, doi = {10.22667/JISIS.2015.02.31.001}, timestamp = {Thu, 23 May 2019 15:00:55 +0200}, biburl = {https://dblp.org/rec/journals/jisis/BravettiLMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LaneseMM15, author = {Ivan Lanese and Manuel Mazzara and Fabrizio Montesi}, title = {Special issue on Service-Oriented Architecture and Programming {(SOAP} 2013)}, journal = {Sci. Comput. Program.}, volume = {97}, pages = {181--182}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.007}, doi = {10.1016/J.SCICO.2014.07.007}, timestamp = {Wed, 17 Feb 2021 21:56:08 +0100}, biburl = {https://dblp.org/rec/journals/scp/LaneseMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/LaneseMZ15, author = {Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Rocco De Nicola and Rolf Hennicker}, title = {The Evolution of Jolie - From Orchestrations to Adaptable Choreographies}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {8950}, pages = {506--521}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15545-6\_29}, doi = {10.1007/978-3-319-15545-6\_29}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/LaneseMZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CarboneMSY15, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Nobuko Yoshida}, editor = {Luca Aceto and David de Frutos{-}Escrig}, title = {Multiparty Session Types as Coherence Proofs}, booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015}, series = {LIPIcs}, volume = {42}, pages = {412--426}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.412}, doi = {10.4230/LIPICS.CONCUR.2015.412}, timestamp = {Wed, 10 Jan 2024 22:27:40 +0100}, biburl = {https://dblp.org/rec/conf/concur/CarboneMSY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Montesi15, author = {Fabrizio Montesi}, editor = {Thomas T. Hildebrandt and Ant{\'{o}}nio Ravara and Jan Martijn E. M. van der Werf and Matthias Weidlich}, title = {Kickstarting Choreographic Programming}, booktitle = {Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9421}, pages = {3--10}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-33612-1\_1}, doi = {10.1007/978-3-319-33612-1\_1}, timestamp = {Fri, 26 May 2023 07:40:34 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Montesi15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Montesi15, author = {Fabrizio Montesi}, title = {Kickstarting Choreographic Programming}, journal = {CoRR}, volume = {abs/1502.02519}, year = {2015}, url = {http://arxiv.org/abs/1502.02519}, eprinttype = {arXiv}, eprint = {1502.02519}, timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, biburl = {https://dblp.org/rec/journals/corr/Montesi15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Cruz-FilipeM15, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, title = {Choreographies, Computationally}, journal = {CoRR}, volume = {abs/1510.03271}, year = {2015}, url = {http://arxiv.org/abs/1510.03271}, eprinttype = {arXiv}, eprint = {1510.03271}, timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GabbrielliGM15, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Fabrizio Montesi}, title = {Applied Choreographies}, journal = {CoRR}, volume = {abs/1510.03637}, year = {2015}, url = {http://arxiv.org/abs/1510.03637}, eprinttype = {arXiv}, eprint = {1510.03637}, timestamp = {Mon, 13 Aug 2018 16:48:53 +0200}, biburl = {https://dblp.org/rec/journals/corr/GabbrielliGM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SafinaMM15, author = {Larisa Safina and Manuel Mazzara and Fabrizio Montesi}, title = {Data-driven Workflows for Microservices}, journal = {CoRR}, volume = {abs/1511.02597}, year = {2015}, url = {http://arxiv.org/abs/1511.02597}, eprinttype = {arXiv}, eprint = {1511.02597}, timestamp = {Mon, 13 Aug 2018 16:46:04 +0200}, biburl = {https://dblp.org/rec/journals/corr/SafinaMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CarboneMS14, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch{\"{u}}rmann}, editor = {Paolo Baldan and Daniele Gorla}, title = {Choreographies, Logically}, booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8704}, pages = {47--62}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44584-6\_5}, doi = {10.1007/978-3-662-44584-6\_5}, timestamp = {Wed, 10 Jan 2024 22:27:40 +0100}, biburl = {https://dblp.org/rec/conf/concur/CarboneMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/CarboneDM14, author = {Marco Carbone and Ornela Dardha and Fabrizio Montesi}, editor = {Eva K{\"{u}}hn and Rosario Pugliese}, title = {Progress as Compositional Lock-Freedom}, booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8459}, pages = {49--64}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43376-8\_4}, doi = {10.1007/978-3-662-43376-8\_4}, timestamp = {Tue, 15 Nov 2022 15:22:35 +0100}, biburl = {https://dblp.org/rec/conf/coordination/CarboneDM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcai/GabbrielliGM14, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Fabrizio Montesi}, editor = {Sigeru Omatu and Hugues Bersini and Juan M. Corchado Rodr{\'{\i}}guez and Sara Rodr{\'{\i}}guez and Pawel Pawlewski and Edgardo Bucciarelli}, title = {Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns}, booktitle = {Distributed Computing and Artificial Intelligence, 11th International Conference, {DCAI} 2014, Salamanca, Spain, June 4-6, 2014}, series = {Advances in Intelligent Systems and Computing}, volume = {290}, pages = {131--139}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-07593-8\_17}, doi = {10.1007/978-3-319-07593-8\_17}, timestamp = {Tue, 05 Mar 2024 21:11:29 +0100}, biburl = {https://dblp.org/rec/conf/dcai/GabbrielliGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/wsf14/MontesiGZ14, author = {Fabrizio Montesi and Claudio Guidi and Gianluigi Zavattaro}, editor = {Athman Bouguettaya and Quan Z. Sheng and Florian Daniel}, title = {Service-Oriented Programming with Jolie}, booktitle = {Web Services Foundations}, pages = {81--107}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-1-4614-7518-7\_4}, doi = {10.1007/978-1-4614-7518-7\_4}, timestamp = {Sat, 19 Oct 2019 19:02:56 +0200}, biburl = {https://dblp.org/rec/books/sp/wsf14/MontesiGZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Montesi14, author = {Fabrizio Montesi}, title = {Process-aware web programming with Jolie}, journal = {CoRR}, volume = {abs/1410.3712}, year = {2014}, url = {http://arxiv.org/abs/1410.3712}, eprinttype = {arXiv}, eprint = {1410.3712}, timestamp = {Mon, 13 Aug 2018 16:48:18 +0200}, biburl = {https://dblp.org/rec/journals/corr/Montesi14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MontesiY13, author = {Fabrizio Montesi and Nobuko Yoshida}, editor = {Pedro R. D'Argenio and Hern{\'{a}}n C. Melgratti}, title = {Compositional Choreographies}, booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference, {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8052}, pages = {425--439}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40184-8\_30}, doi = {10.1007/978-3-642-40184-8\_30}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/MontesiY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CarboneM13, author = {Marco Carbone and Fabrizio Montesi}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Deadlock-freedom-by-design: multiparty asynchronous global programming}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {263--274}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429101}, doi = {10.1145/2429069.2429101}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/CarboneM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Montesi13, author = {Fabrizio Montesi}, editor = {Sung Y. Shin and Jos{\'{e}} Carlos Maldonado}, title = {Process-aware web programming with Jolie}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, pages = {761--763}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2480362.2480507}, doi = {10.1145/2480362.2480507}, timestamp = {Sun, 02 Jun 2019 21:18:36 +0200}, biburl = {https://dblp.org/rec/conf/sac/Montesi13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/LaneseMZ13, author = {Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Ant{\'{o}}nio Ravara and Josep Silva}, title = {Amending Choreographies}, booktitle = {Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {123}, pages = {34--48}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.123.5}, doi = {10.4204/EPTCS.123.5}, timestamp = {Wed, 12 Sep 2018 01:05:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/LaneseMZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esocc/PredaGGMM12, author = {Mila Dalla Preda and Maurizio Gabbrielli and Claudio Guidi and Jacopo Mauro and Fabrizio Montesi}, editor = {Flavio De Paoli and Ernesto Pimentel and Gianluigi Zavattaro}, title = {Interface-Based Service Composition with Aggregation}, booktitle = {Service-Oriented and Cloud Computing - First European Conference, {ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7592}, pages = {48--63}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33427-6\_4}, doi = {10.1007/978-3-642-33427-6\_4}, timestamp = {Sat, 09 Apr 2022 12:33:36 +0200}, biburl = {https://dblp.org/rec/conf/esocc/PredaGGMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soca/PredaGGMM12, author = {Mila Dalla Preda and Maurizio Gabbrielli and Claudio Guidi and Jacopo Mauro and Fabrizio Montesi}, title = {Service integration via target-transparent mediation}, booktitle = {2012 Fifth {IEEE} International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012}, pages = {1--5}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SOCA.2012.6449432}, doi = {10.1109/SOCA.2012.6449432}, timestamp = {Fri, 24 Mar 2023 00:02:12 +0100}, biburl = {https://dblp.org/rec/conf/soca/PredaGGMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1302-6331, author = {Marco Carbone and Fabrizio Montesi}, editor = {Simon J. Gay and Paul Kelly}, title = {Merging Multiparty Protocols in Multiparty Choreographies}, booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia, 31 March 2012}, series = {{EPTCS}}, volume = {109}, pages = {21--27}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.109.4}, doi = {10.4204/EPTCS.109.4}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-6331.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/MauroGGM11, author = {Jacopo Mauro and Maurizio Gabbrielli and Claudio Guidi and Fabrizio Montesi}, editor = {Wolfgang De Meuter and Gruia{-}Catalin Roman}, title = {An Efficient Management of Correlation Sets with Broadcast}, booktitle = {Coordination Models and Languages - 13th International Conference, {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6721}, pages = {80--94}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21464-6\_6}, doi = {10.1007/978-3-642-21464-6\_6}, timestamp = {Sat, 09 Apr 2022 12:35:33 +0200}, biburl = {https://dblp.org/rec/conf/coordination/MauroGGM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/MontesiC11, author = {Fabrizio Montesi and Marco Carbone}, editor = {Gerti Kappel and Zakaria Maamar and Hamid R. Motahari Nezhad}, title = {Programming Services with Correlation Sets}, booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC} 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7084}, pages = {125--141}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25535-9\_9}, doi = {10.1007/978-3-642-25535-9\_9}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/MontesiC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LaneseM10, author = {Ivan Lanese and Fabrizio Montesi}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Error Handling: From Theory to Practice}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6416}, pages = {66--81}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16561-0\_13}, doi = {10.1007/978-3-642-16561-0\_13}, timestamp = {Sun, 02 Jun 2019 21:11:27 +0200}, biburl = {https://dblp.org/rec/conf/isola/LaneseM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/MontesiS10, author = {Fabrizio Montesi and Davide Sangiorgi}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Model of Evolvable Components}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {153--171}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_11}, doi = {10.1007/978-3-642-15640-3\_11}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/MontesiS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/LaneseBM10, author = {Ivan Lanese and Antonio Bucchiarone and Fabrizio Montesi}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Framework for Rule-Based Dynamic Adaptation}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {284--300}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_19}, doi = {10.1007/978-3-642-15640-3\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/LaneseBM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GuidiLMZ09, author = {Claudio Guidi and Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro}, title = {Dynamic Error Handling in Service Oriented Applications}, journal = {Fundam. Informaticae}, volume = {95}, number = {1}, pages = {73--102}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-143}, doi = {10.3233/FI-2009-143}, timestamp = {Fri, 18 Sep 2020 11:16:17 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GuidiLMZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0906-3920, author = {Claudio Guidi and Fabrizio Montesi}, editor = {Maurice H. ter Beek}, title = {Reasoning About a Service-oriented Programming Paradigm}, booktitle = {Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, {YR-SOC} 2009, Pisa, Italy, 17-19th June 2009}, series = {{EPTCS}}, volume = {2}, pages = {67--81}, year = {2009}, url = {http://arxiv.org/abs/0906.3920}, timestamp = {Mon, 13 Aug 2018 16:48:39 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0906-3920.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/GuidiLMZ08, author = {Claudio Guidi and Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Jonathan Billington and Zhenhua Duan and Maciej Koutny}, title = {On the interplay between fault handling and request-response service invocations}, booktitle = {8th International Conference on Application of Concurrency to System Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008}, pages = {190--198}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ACSD.2008.4574611}, doi = {10.1109/ACSD.2008.4574611}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/acsd/GuidiLMZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecows/MontesiGLZ08, author = {Fabrizio Montesi and Claudio Guidi and Ivan Lanese and Gianluigi Zavattaro}, editor = {Claus Pahl and Siobh{\'{a}}n Clarke and Rik Eshuis}, title = {Dynamic Fault Handling Mechanisms for Service-Oriented Applications}, booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland}, pages = {225--234}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ECOWS.2008.20}, doi = {10.1109/ECOWS.2008.20}, timestamp = {Thu, 23 Mar 2023 23:59:53 +0100}, biburl = {https://dblp.org/rec/conf/ecows/MontesiGLZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LaneseGMZ08, author = {Ivan Lanese and Claudio Guidi and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Antonio Cerone and Stefan Gruner}, title = {Bridging the Gap between Interaction- and Process-Oriented Choreographies}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {323--332}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.11}, doi = {10.1109/SEFM.2008.11}, timestamp = {Fri, 24 Mar 2023 00:03:36 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LaneseGMZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecows/MontesiGZ07, author = {Fabrizio Montesi and Claudio Guidi and Gianluigi Zavattaro}, title = {Composing Services with {JOLIE}}, booktitle = {Fifth {IEEE} European Conference on Web Services {(ECOWS} 2007), 26-28 November 2007, Halle (Saale), Germany}, pages = {13--22}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ECOWS.2007.19}, doi = {10.1109/ECOWS.2007.19}, timestamp = {Thu, 23 Mar 2023 23:59:53 +0100}, biburl = {https://dblp.org/rec/conf/ecows/MontesiGZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MontesiGLZ07, author = {Fabrizio Montesi and Claudio Guidi and Roberto Lucchi and Gianluigi Zavattaro}, editor = {Guido Boella and Mehdi Dastani and Andrea Omicini and Leon van der Torre and Ivana Cern{\'{a}} and Isabelle Linden}, title = {{JOLIE:} a Java Orchestration Language Interpreter Engine}, booktitle = {Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {181}, pages = {19--33}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.051}, doi = {10.1016/J.ENTCS.2007.01.051}, timestamp = {Tue, 24 Jan 2023 13:41:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MontesiGLZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }