Research Interests

My research interests cover concurrency theory, distributed systems, service-oriented computing, web technologies, type systems, and most importantly the design and implementation of programming languages.

My current work is focused on the Jolie and Chor languages, explained below.

Publications

Search (by title, year, authors, ...):
My page in DBLP | My profile in Google Scholar

  • 2018

  • Luís Cruz-Filipe, Fabrizio Montesi, & Marco Peressotti. (2018). Communications in choreographies, revisited. In H. M. Haddad, R. L. Wainwright, & R. Chbeir (Eds.), Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018 (pp. 1248–1255). ACM.
    Bibtex | doi | PDF | technical report

    @inproceedings{DBLP:conf/sac/Cruz-FilipeMP18,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio and Peressotti, Marco},
      editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
      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 = {http://doi.acm.org/10.1145/3167132.3167267},
      doi = {10.1145/3167132.3167267},
      timestamp = {Wed, 04 Jul 2018 14:28:07 +0200},
      biburl = {https://dblp.org/rec/bib/conf/sac/Cruz-FilipeMP18},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Fabrizio Montesi, & Janine Weber. (2018). From the decorator pattern to circuit breakers in microservices. In H. M. Haddad, R. L. Wainwright, & R. Chbeir (Eds.), Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018 (pp. 1733–1735). ACM.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/sac/MontesiW18,
      author = {Montesi, Fabrizio and Weber, Janine},
      editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
      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 = {http://doi.acm.org/10.1145/3167132.3167427},
      doi = {10.1145/3167132.3167427},
      timestamp = {Wed, 04 Jul 2018 14:28:07 +0200},
      biburl = {https://dblp.org/rec/bib/conf/sac/MontesiW18},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Marco Carbone, Fabrizio Montesi, & Carsten Schürmann. (2018). Choreographies, logically. Distributed Computing, 31(1), 51–67.
    Bibtex | doi | PDF

    @article{DBLP:journals/dc/CarboneMS18,
      author = {Carbone, Marco and Montesi, Fabrizio and Sch{"{u}}rmann, Carsten},
      title = {Choreographies, logically},
      journal = {Distributed Computing},
      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 = {Thu, 25 Jan 2018 11:13:07 +0100},
      biburl = {https://dblp.org/rec/bib/journals/dc/CarboneMS18},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Saverio Giallorenzo, Fabrizio Montesi, & Maurizio Gabbrielli. (2018). Applied Choreographies. In 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 (pp. 21–40). Springer.
    Bibtex | doi | PDF | paper (alternative) | technical report

    @inproceedings{GMG18,
      author = {Giallorenzo, Saverio and Montesi, Fabrizio and Gabbrielli, Maurizio},
      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},
      pages = {21--40},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-92612-4_2},
      doi = {10.1007/978-3-319-92612-4_2},
      timestamp = {Wed, 30 May 2018 14:24:03 +0200},
      biburl = {https://dblp.org/rec/bib/conf/forte/GiallorenzoMG18},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      publisher = {Springer}
    }
    

  • 2017

  • Luís Cruz-Filipe, Kim S. Larsen, & Fabrizio Montesi. (2017). The Paths to Choreography Extraction. In J. Esparza & A. S. Murawski (Eds.), FoSSaCS (Vol. 10203, pp. 424–440). Springer.
    Bibtex | PDF | full paper

    @inproceedings{CLM17,
      author = {Cruz{-}Filipe, Lu{'i}s and Larsen, Kim S. and Montesi, Fabrizio},
      title = {The Paths to Choreography Extraction},
      editor = {Esparza, Javier and Murawski, Andrzej S.},
      series = {LNCS},
      booktitle = {FoSSaCS},
      volume = {10203},
      publisher = {Springer},
      year = {2017},
      pages = {424--440}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. (2017). A Core Model for Choreographic Programming. In O. Kouchnarenko & R. Khosravi (Eds.), FACS (Vol. 10231, pp. 17–35). Springer.
    Bibtex | PDF | paper (alternative)

    @inproceedings{CM17a,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {A Core Model for Choreographic Programming},
      publisher = {Springer},
      series = {LNCS},
      booktitle = {FACS},
      year = {2017},
      volume = {10231},
      pages = {17--35},
      editor = {Kouchnarenko, Olga and Khosravi, Ramin}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. (2017). Encoding Asynchrony in Choreographies. In D. Shin & M. Lencastre (Eds.), Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 (pp. 1175–1177).
    Bibtex | doi | PDF

    @inproceedings{CM17b,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {Encoding Asynchrony in Choreographies},
      editor = {Shin, D. and Lencastre, M.},
      pages = {1175--1177},
      booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017},
      year = {2017},
      doi = {10.1145/3019612.3019901}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. (2017). Procedural Choreographic Programming. In A. Bouajjani & A. Silva (Eds.), Formal Techniques for Distributed Objects, Components, and Systems – 37th IFIP WG 6.1 International Conference, FORTE 2017 (Vol. 10321, pp. 92–107). Springer.
    Bibtex | PDF | paper (alternative)

    @inproceedings{CM17c,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {Procedural Choreographic Programming},
      pages = {92--107},
      editor = {Bouajjani, Ahmed and Silva, Alexandra},
      booktitle = {Formal Techniques for Distributed Objects, Components, and Systems -- 37th IFIP WG 6.1 International Conference, FORTE 2017},
      series = {LNCS},
      publisher = {Springer},
      year = {2017},
      volume = {10321}
    }
    

  • Cruz-Filipe Luı́s, & Fabrizio Montesi. (2017). That’s Enough: Asynchrony with Standard Choreography Primitives. In C. Caleiro, Dionı́sio Francisco, P. Gouveia, P. Mateus, & J. Rasga (Eds.), Logic and Computation: Essays in Honour of Amı́lcar Sernadas (Vol. 33, pp. 125–142). College Publications.
    Bibtex | PDF

    @incollection{CM17d,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {That's Enough: Asynchrony with Standard Choreography Primitives},
      booktitle = {Logic and Computation: Essays in Honour of Am{'i}lcar Sernadas},
      editor = {Caleiro, Carlos and Dion{'i}sio, Francisco and Gouveia, Paula and Mateus, Paulo and Rasga, Jo{~a}o},
      publisher = {College Publications},
      series = {Tributes},
      volume = {33},
      year = {2017},
      isbn = {978-1-84890-248-0},
      pages = {125--142}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. (2017). On Asynchrony and Choreographies. In M. Bartoletti, L. Bocchi, L. Henrio, & S. Knight (Eds.), Proceedings 10th Interaction and Concurrency Experience (Vol. 261, pp. 76–90). Open Publishing Association.
    Bibtex | doi | PDF

    @incollection{CM17e,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {On Asynchrony and Choreographies},
      booktitle = {Proceedings 10th Interaction and Concurrency Experience},
      editor = {Bartoletti, M. and Bocchi, L. and Henrio, L. and Knight, S.},
      publisher = {Open Publishing Association},
      series = {EPTCS},
      volume = {261},
      year = {2017},
      pages = {76--90},
      doi = {10.4204/EPTCS.261.8}
    }
    

  • Marco Carbone, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (2017). Multiparty session types as coherence proofs. Acta Inf., 54(3), 243–269.
    Bibtex | PDF

    @article{CMSY17,
      author = {Carbone, Marco and Montesi, Fabrizio and Sch{"{u}}rmann, Carsten and Yoshida, Nobuko},
      title = {Multiparty session types as coherence proofs},
      journal = {Acta Inf.},
      volume = {54},
      number = {3},
      pages = {243--269},
      year = {2017}
    }
    

  • Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, & Larisa Safina. (2017). Microservices: yesterday, today, and tomorrow. In Present and Ulterior Software Engineering (pp. 195–216). Springer.
    Bibtex | PDF | paper (alternative)

    @incollection{DGLMMMS17,
      title = {Microservices: yesterday, today, and tomorrow},
      author = {Dragoni, Nicola and Giallorenzo, Saverio and Lafuente, Alberto Lluch and Mazzara, Manuel and Montesi, Fabrizio and Mustafin, Ruslan and Safina, Larisa},
      booktitle = {Present and Ulterior Software Engineering},
      pages = {195--216},
      year = {2017},
      publisher = {Springer}
    }
    

  • Claudio Guidi, Ivan Lanese, Manuel Mazzara, & Fabrizio Montesi. (2017). Microservices: A Language-Based Approach. In Present and Ulterior Software Engineering (pp. 217–225). Springer.
    Bibtex

    @incollection{GLMM17,
      author = {Guidi, Claudio and Lanese, Ivan and Mazzara, Manuel and Montesi, Fabrizio},
      title = {Microservices: {A} Language-Based Approach},
      booktitle = {Present and Ulterior Software Engineering},
      pages = {217--225},
      publisher = {Springer},
      year = {2017}
    }
    

  • Fabrizio Montesi. (2017). Classical Higher-Order Processes - (Short Paper). In FORTE (Vol. 10321, pp. 171–178). Springer.
    Bibtex | PDF | technical report

    @inproceedings{M17,
      author = {Montesi, Fabrizio},
      title = {Classical Higher-Order Processes - (Short Paper)},
      booktitle = {{FORTE}},
      series = {Lecture Notes in Computer Science},
      volume = {10321},
      pages = {171--178},
      publisher = {Springer},
      year = {2017}
    }
    

  • Fabrizio Montesi, & Dan Sebastian Thrane. (2017). Packaging Microservices - (Work in Progress). In DAIS (Vol. 10320, pp. 131–137). Springer.
    Bibtex | PDF

    @inproceedings{MT17,
      author = {Montesi, Fabrizio and Thrane, Dan Sebastian},
      title = {Packaging Microservices - (Work in Progress)},
      booktitle = {{DAIS}},
      series = {Lecture Notes in Computer Science},
      volume = {10320},
      pages = {131--137},
      publisher = {Springer},
      year = {2017}
    }
    

  • 2016

  • Luís Cruz-Filipe, & Fabrizio Montesi. (2016). Choreographies in Practice. In E. Albert & I. Lanese (Eds.), Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016 (Vol. 9688, pp. 114–123). Springer.
    Bibtex | doi | PDF | arxiv | paper (alternative)

    @inproceedings{CM16,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {Choreographies in Practice},
      pages = {114--123},
      doi = {10.1007/978-3-319-39570-8_8},
      editor = {Albert, Elvira and Lanese, Ivan},
      booktitle = {Formal Techniques for Distributed Objects, Components, and Systems -- 36th IFIP WG 6.1 International Conference, FORTE 2016},
      series = {LNCS},
      volume = {9688},
      publisher = {Springer},
      year = {2016}
    }
    

  • Larisa Safina, Manuel Mazzara, Fabrizio Montesi, & Rivera Vı́ctor. (2016). Data-Driven Workflows for Microservices: Genericity in Jolie. In AINA (pp. 430–437). IEEE Computer Society.
    Bibtex | PDF

    @inproceedings{DBLP:conf/aina/SafinaMMR16,
      author = {Safina, Larisa and Mazzara, Manuel and Montesi, Fabrizio and Rivera, V{'{i}}ctor},
      title = {Data-Driven Workflows for Microservices: Genericity in Jolie},
      booktitle = {{AINA}},
      pages = {430--437},
      publisher = {{IEEE} Computer Society},
      year = {2016}
    }
    

  • Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, & Philip Wadler. (2016). Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. In CONCUR (Vol. 59, pp. 33:1–33:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
    Bibtex | publisher's website | PDF

    @inproceedings{DBLP:conf/concur/CarboneLMSW16,
      author = {Carbone, Marco and Lindley, Sam and Montesi, Fabrizio and Sch{"{u}}rmann, Carsten and Wadler, Philip},
      title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty  Session Types},
      booktitle = {{CONCUR}},
      series = {LIPIcs},
      volume = {59},
      pages = {33:1--33:15},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
      year = {2016}
    }
    

  • Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, … Nobuko Yoshida. (2016). Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3(2-3), 95–230.
    Bibtex | publisher's website

    @article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
      author = {Ancona, Davide and Bono, Viviana and Bravetti, Mario and Campos, Joana and Castagna, Giuseppe and Deni{'{e}}lou, Pierre{-}Malo and Gay, Simon J. and Gesbert, Nils and Giachino, Elena and Hu, Raymond and Johnsen, Einar Broch and Martins, Francisco and Mascardi, Viviana and Montesi, Fabrizio and Neykova, Rumyana and Ng, Nicholas and Padovani, Luca and Vasconcelos, Vasco T. and Yoshida, Nobuko},
      title = {Behavioral Types in Programming Languages},
      journal = {Foundations and Trends in Programming Languages},
      volume = {3},
      number = {2-3},
      pages = {95--230},
      year = {2016}
    }
    

  • Fabrizio Montesi. (2016). Process-aware web programming with Jolie. Sci. Comput. Program., 130, 69–96.
    Bibtex | PDF | arxiv

    @article{DBLP:journals/scp/Montesi16,
      author = {Montesi, Fabrizio},
      title = {Process-aware web programming with Jolie},
      journal = {Sci. Comput. Program.},
      volume = {130},
      pages = {69--96},
      year = {2016}
    }
    

  • Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (2016). Self-Reconfiguring Microservices. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 194–210). Springer.
    Bibtex | doi | PDF

    @inproceedings{GGGMM16,
      author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
      title = {Self-Reconfiguring Microservices},
      booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank  de Boer on the Occasion of His 60th Birthday},
      pages = {194--210},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-30734-3_14},
      doi = {10.1007/978-3-319-30734-3_14},
      timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
      biburl = {https://dblp.org/rec/bib/conf/birthday/GabbrielliGGMM16},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      publisher = {Springer}
    }
    

  • 2015

  • Marco Carbone, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (2015). Multiparty Session Types as Coherence Proofs. In L. Aceto & D. de Frutos-Escrig (Eds.), 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 (Vol. 42, pp. 412–426). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/concur/CarboneMSY15,
      author = {Carbone, Marco and Montesi, Fabrizio and Sch{"{u}}rmann, Carsten and Yoshida, Nobuko},
      editor = {Aceto, Luca and de Frutos{-}Escrig, David},
      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 fuer Informatik},
      year = {2015},
      url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.412},
      doi = {10.4230/LIPIcs.CONCUR.2015.412}
    }
    

  • Fabrizio Montesi. (2015). Kickstarting Choreographic Programming. In T. T. Hildebrandt, A. Ravara, J. M. van der Werf, & M. Weidlich (Eds.), 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 (Vol. 9421, pp. 3–10). Springer.
    Bibtex | PDF | arxiv

    @inproceedings{DBLP:conf/wsfm/Montesi15,
      author = {Montesi, Fabrizio},
      editor = {Hildebrandt, Thomas T. and Ravara, Ant{'{o}}nio and van der Werf, Jan Martijn and Weidlich, Matthias},
      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}
    }
    

  • Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, & Fabrizio Montesi. (2015). Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur., 5(1), 1–2.
    Bibtex | paper

    @article{DBLP:journals/jisis/BravettiLMM15,
      author = {Bravetti, Mario and Lluch{-}Lafuente, Alberto and Mazzara, Manuel and Montesi, Fabrizio},
      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 = {http://isyou.info/jisis/vol5/no1/jisis-2015-vol5-no1-00.pdf}
    }
    

  • Ivan Lanese, Manuel Mazzara, & Fabrizio Montesi. (2015). Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program., 97, 181–182.
    Bibtex | doi | paper

    @article{DBLP:journals/scp/LaneseMM15,
      author = {Lanese, Ivan and Mazzara, Manuel and Montesi, Fabrizio},
      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}
    }
    

  • Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2015). The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. In R. D. Nicola & R. Hennicker (Eds.), Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Vol. 8950, pp. 506–521). Springer.
    Bibtex | doi | PDF

    @inproceedings{LMZ15,
      author = {Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
      editor = {Nicola, Rocco De and Hennicker, Rolf},
      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}
    }
    

  • 2014

  • Marco Carbone, Fabrizio Montesi, & Carsten Schürmann. (2014). Choreographies, Logically. In P. Baldan & D. Gorla (Eds.), CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Vol. 8704, pp. 47–62). Springer.
    Bibtex | PDF

    @inproceedings{DBLP:conf/concur/CarboneMS14,
      author = {Carbone, Marco and Montesi, Fabrizio and Sch{"{u}}rmann, Carsten},
      editor = {Baldan, Paolo and Gorla, Daniele},
      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}
    }
    

  • Marco Carbone, Ornela Dardha, & Fabrizio Montesi. (2014). Progress as Compositional Lock-Freedom. In eva Kühn & R. Pugliese (Eds.), 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 (Vol. 8459, pp. 49–64). Springer.
    Bibtex | PDF

    @inproceedings{DBLP:conf/coordination/CarboneDM14,
      author = {Carbone, Marco and Dardha, Ornela and Montesi, Fabrizio},
      editor = {eva K{"{u}}hn and Pugliese, Rosario},
      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}
    }
    

  • Maurizio Gabbrielli, Saverio Giallorenzo, & Fabrizio Montesi. (2014). Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. In S. Omatu, H. Bersini, Rodrı́guez Juan M. Corchado, Rodrı́guez Sara, P. Pawlewski, & E. Bucciarelli (Eds.), Distributed Computing and Artificial Intelligence, 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014 (Vol. 290, pp. 131–139). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/dcai/GabbrielliGM14,
      author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Montesi, Fabrizio},
      editor = {Omatu, Sigeru and Bersini, Hugues and Rodr{'{i}}guez, Juan M. Corchado and Rodr{'{i}}guez, Sara and Pawlewski, Pawel and Bucciarelli, Edgardo},
      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}
    }
    

  • 2013

  • Fabrizio Montesi, & Nobuko Yoshida. (2013). Compositional Choreographies. In P. R. D’Argenio & H. C. Melgratti (Eds.), CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings (Vol. 8052, pp. 425–439). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/concur/MontesiY13,
      author = {Montesi, Fabrizio and Yoshida, Nobuko},
      editor = {D'Argenio, Pedro R. and Melgratti, Hern{'{a}}n C.},
      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, 02 Jun 2017 20:50:29 +0200},
      biburl = {https://dblp.org/rec/bib/conf/concur/MontesiY13},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Marco Carbone, & Fabrizio Montesi. (2013). Deadlock-freedom-by-design: multiparty asynchronous global programming. In R. Giacobazzi & R. Cousot (Eds.), The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13, Rome, Italy - January 23 - 25, 2013 (pp. 263–274). ACM.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/popl/CarboneM13,
      author = {Carbone, Marco and Montesi, Fabrizio},
      editor = {Giacobazzi, Roberto and Cousot, Radhia},
      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 = {http://doi.acm.org/10.1145/2429069.2429101},
      doi = {10.1145/2429069.2429101},
      timestamp = {Mon, 05 Jun 2017 12:41:03 +0200},
      biburl = {https://dblp.org/rec/bib/conf/popl/CarboneM13},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Fabrizio Montesi. (2013). Process-aware web programming with Jolie. In S. Y. Shin & J. C. Maldonado (Eds.), Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, Coimbra, Portugal, March 18-22, 2013 (pp. 761–763). ACM.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/sac/Montesi13,
      author = {Montesi, Fabrizio},
      editor = {Shin, Sung Y. and Maldonado, Jos{'{e}} Carlos},
      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 = {http://doi.acm.org/10.1145/2480362.2480507},
      doi = {10.1145/2480362.2480507},
      timestamp = {Mon, 05 Jun 2017 12:41:15 +0200},
      biburl = {https://dblp.org/rec/bib/conf/sac/Montesi13},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2013). Amending Choreographies. In A. Ravara & J. Silva (Eds.), Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. (Vol. 123, pp. 34–48).
    Bibtex | doi | PDF

    @inproceedings{DBLP:journals/corr/LaneseMZ13,
      author = {Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
      editor = {Ravara, Ant{'{o}}nio and Silva, Josep},
      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 = {Mon, 05 Jun 2017 20:50:58 +0200},
      biburl = {https://dblp.org/rec/bib/journals/corr/LaneseMZ13},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Fabrizio Montesi. (2013). Choreographic Programming (Ph.D. Thesis). IT University of Copenhagen.
    Bibtex | PDF | eapls best phd dissertation award 2014

    @phdthesis{M13:phd,
      author = {Montesi, Fabrizio},
      title = {Choreographic {P}rogramming},
      school = {IT University of Copenhagen},
      type = {Ph.{D}. Thesis},
      year = {2013},
      note = {url{http://www.fabriziomontesi.com/files/choreographic_programming.pdf}}
    }
    

  • 2012

  • Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (2012). Interface-Based Service Composition with Aggregation. In F. D. Paoli, E. Pimentel, & G. Zavattaro (Eds.), Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings (Vol. 7592, pp. 48–63). Springer.
    Bibtex | doi | paper

    @inproceedings{DBLP:conf/esocc/PredaGGMM12,
      author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
      editor = {Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi},
      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 = {Fri, 02 Jun 2017 20:48:19 +0200},
      biburl = {https://dblp.org/rec/bib/conf/esocc/PredaGGMM12},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (2012). Service integration via target-transparent mediation. In 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012 (pp. 1–5). IEEE Computer Society.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/soca/PredaGGMM12,
      author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
      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 = {Mon, 05 Jun 2017 12:42:33 +0200},
      biburl = {https://dblp.org/rec/bib/conf/soca/PredaGGMM12},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Marco Carbone, & Fabrizio Montesi. (2012). Merging Multiparty Protocols in Multiparty Choreographies. In S. J. Gay & P. Kelly (Eds.), Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. (Vol. 109, pp. 21–27).
    Bibtex | doi | PDF

    @inproceedings{DBLP:journals/corr/abs-1302-6331,
      author = {Carbone, Marco and Montesi, Fabrizio},
      editor = {Gay, Simon J. and Kelly, Paul},
      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 = {Mon, 05 Jun 2017 20:50:57 +0200},
      biburl = {https://dblp.org/rec/bib/journals/corr/abs-1302-6331},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • 2011

  • Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, & Fabrizio Montesi. (2011). An Efficient Management of Correlation Sets with Broadcast. In W. D. Meuter & G.-C. Roman (Eds.), Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings (Vol. 6721, pp. 80–94). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/coordination/MauroGGM11,
      author = {Mauro, Jacopo and Gabbrielli, Maurizio and Guidi, Claudio and Montesi, Fabrizio},
      editor = {Meuter, Wolfgang De and Roman, Gruia{-}Catalin},
      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 = {Fri, 02 Jun 2017 20:46:56 +0200},
      biburl = {https://dblp.org/rec/bib/conf/coordination/MauroGGM11},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Fabrizio Montesi, & Marco Carbone. (2011). Programming Services with Correlation Sets. In G. Kappel, Z. Maamar, & H. R. M. Nezhad (Eds.), Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings (Vol. 7084, pp. 125–141). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/icsoc/MontesiC11,
      author = {Montesi, Fabrizio and Carbone, Marco},
      editor = {Kappel, Gerti and Maamar, Zakaria and Nezhad, Hamid R. Motahari},
      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 = {Sun, 04 Jun 2017 10:06:13 +0200},
      biburl = {https://dblp.org/rec/bib/conf/icsoc/MontesiC11},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • 2010

  • Ivan Lanese, & Fabrizio Montesi. (2010). Error Handling: From Theory to Practice. In T. Margaria & B. Steffen (Eds.), 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 (Vol. 6416, pp. 66–81). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/isola/LaneseM10,
      author = {Lanese, Ivan and Montesi, Fabrizio},
      editor = {Margaria, Tiziana and Steffen, Bernhard},
      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, 04 Jun 2017 10:11:24 +0200},
      biburl = {https://dblp.org/rec/bib/conf/isola/LaneseM10},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Ivan Lanese, Antonio Bucchiarone, & Fabrizio Montesi. (2010). A Framework for Rule-Based Dynamic Adaptation. In M. Wirsing, M. Hofmann, & A. Rauschmayer (Eds.), Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Vol. 6084, pp. 284–300). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/tgc/LaneseBM10,
      author = {Lanese, Ivan and Bucchiarone, Antonio and Montesi, Fabrizio},
      editor = {Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel},
      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 = {Mon, 05 Jun 2017 12:40:54 +0200},
      biburl = {https://dblp.org/rec/bib/conf/tgc/LaneseBM10},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Fabrizio Montesi, & Davide Sangiorgi. (2010). A Model of Evolvable Components. In M. Wirsing, M. Hofmann, & A. Rauschmayer (Eds.), Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Vol. 6084, pp. 153–171). Springer.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/tgc/MontesiS10,
      author = {Montesi, Fabrizio and Sangiorgi, Davide},
      editor = {Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel},
      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 = {Mon, 05 Jun 2017 12:40:54 +0200},
      biburl = {https://dblp.org/rec/bib/conf/tgc/MontesiS10},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • 2009

  • Fabrizio Montesi, Claudio Guidi, Ivan Lanese, & Gianluigi Zavattaro. (2008). Dynamic Fault Handling Mechanisms for Service-Oriented Applications. In C. Pahl, S. Clarke, & R. Eshuis (Eds.), ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland (pp. 225–234). IEEE Computer Society.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/ecows/MontesiGLZ08,
      author = {Montesi, Fabrizio and Guidi, Claudio and Lanese, Ivan and Zavattaro, Gianluigi},
      editor = {Pahl, Claus and Clarke, Siobh{'{a}}n and Eshuis, Rik},
      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}
    }
    

  • Claudio Guidi, Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2009). Dynamic Error Handling in Service Oriented Applications. Fundam. Inform., 95(1), 73–102.
    Bibtex | doi | PDF

    @article{DBLP:journals/fuin/GuidiLMZ09,
      author = {Guidi, Claudio and Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
      title = {Dynamic Error Handling in Service Oriented Applications},
      journal = {Fundam. Inform.},
      volume = {95},
      number = {1},
      pages = {73--102},
      year = {2009},
      url = {https://doi.org/10.3233/FI-2009-143},
      doi = {10.3233/FI-2009-143}
    }
    

  • 2008

  • Claudio Guidi, Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2008). On the interplay between fault handling and request-response service invocations. In ACSD (pp. 190–198). IEEE.
    Bibtex | PDF

    @inproceedings{DBLP:conf/acsd/GuidiLMZ08,
      author = {Guidi, Claudio and Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
      title = {On the interplay between fault handling and request-response service  invocations},
      booktitle = {{ACSD}},
      pages = {190--198},
      publisher = {{IEEE}},
      year = {2008}
    }
    

  • Fabrizio Montesi, Claudio Guidi, Ivan Lanese, & Gianluigi Zavattaro. (2008). Dynamic Fault Handling Mechanisms for Service-Oriented Applications. In C. Pahl, S. Clarke, & R. Eshuis (Eds.), ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland (pp. 225–234). IEEE Computer Society.
    Bibtex | doi | PDF

    @inproceedings{DBLP:conf/ecows/MontesiGLZ08,
      author = {Montesi, Fabrizio and Guidi, Claudio and Lanese, Ivan and Zavattaro, Gianluigi},
      editor = {Pahl, Claus and Clarke, Siobh{'{a}}n and Eshuis, Rik},
      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}
    }
    

  • Ivan Lanese, Claudio Guidi, Fabrizio Montesi, & Gianluigi Zavattaro. (2008). Bridging the Gap between Interaction- and Process-Oriented Choreographies. In SEFM (pp. 323–332). IEEE Computer Society.
    Bibtex | PDF

    @inproceedings{DBLP:conf/sefm/LaneseGMZ08,
      author = {Lanese, Ivan and Guidi, Claudio and Montesi, Fabrizio and Zavattaro, Gianluigi},
      title = {Bridging the Gap between Interaction- and Process-Oriented Choreographies},
      booktitle = {{SEFM}},
      pages = {323--332},
      publisher = {{IEEE} Computer Society},
      year = {2008}
    }
    

  • 2007

  • Fabrizio Montesi, Claudio Guidi, & Gianluigi Zavattaro. (2007). Composing Services with JOLIE. In ECOWS (pp. 13–22). IEEE Computer Society.
    Bibtex | PDF

    @inproceedings{DBLP:conf/ecows/MontesiGZ07,
      author = {Montesi, Fabrizio and Guidi, Claudio and Zavattaro, Gianluigi},
      title = {Composing Services with {JOLIE}},
      booktitle = {{ECOWS}},
      pages = {13--22},
      publisher = {{IEEE} Computer Society},
      year = {2007}
    }
    

  • Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, & Gianluigi Zavattaro. (2007). JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci., 181, 19–33.
    Bibtex | doi | PDF

    @article{DBLP:journals/entcs/MontesiGLZ07,
      author = {Montesi, Fabrizio and Guidi, Claudio and Lucchi, Roberto and Zavattaro, Gianluigi},
      title = {{JOLIE:} a Java Orchestration Language Interpreter Engine},
      journal = {Electr. Notes Theor. Comput. Sci.},
      volume = {181},
      pages = {19--33},
      year = {2007},
      url = {https://doi.org/10.1016/j.entcs.2007.01.051},
      doi = {10.1016/j.entcs.2007.01.051},
      timestamp = {Mon, 05 Jun 2017 20:49:21 +0200},
      biburl = {https://dblp.org/rec/bib/journals/entcs/MontesiGLZ07},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
    

  • Technical Reports

  • Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, & Fabrizio Montesi. Connectors Meet Choreographies.
    Bibtex | PDF

    @unpublished{ACJM,
      author = {Arbab, Farhad and Cruz-Filipe, Lu{'i}s and Jongmans, Sung-Shik and Montesi, Fabrizio},
      title = {Connectors Meet Choreographies},
      note = {submitted for publication}
    }
    

  • Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, & Agata Murawska. Multiparty Classical Choreographies.
    Bibtex | PDF

    @unpublished{CCMM,
      author = {Carbone, Marco and Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio and Murawska, Agata},
      title = {Multiparty Classical Choreographies},
      note = {submitted for publication}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. A Core Model for Choreographic Programming.
    Bibtex | PDF

    @unpublished{CMa,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {A Core Model for Choreographic Programming},
      note = {submitted for publication}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. Procedural Choreographic Programming.
    Bibtex | PDF

    @unpublished{CMb,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {Procedural Choreographic Programming},
      note = {submitted for publication}
    }
    

  • Luís Cruz-Filipe, & Fabrizio Montesi. On Asynchrony and Choreographies.
    Bibtex | PDF

    @unpublished{CMc,
      author = {Cruz-Filipe, Lu{'i}s and Montesi, Fabrizio},
      title = {On Asynchrony and Choreographies},
      note = {submitted for publication}
    }
    

  • Maurizio Gabbrielli, Saverio Giallorenzo, & Fabrizio Montesi. (2015). Applied Choreographies. CoRR, abs/1510.03637.
    Bibtex | technical report

    @article{GGM15,
      author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Montesi, Fabrizio},
      title = {Applied Choreographies},
      journal = {CoRR},
      volume = {abs/1510.03637},
      year = {2015}
    }
    

  • Fabrizio Montesi, & Marco Peressotti. (2017). Choreographies meet Communication Failures. CoRR, abs/1712.05465.
    Bibtex | PDF

    @article{MP17,
      author = {Montesi, Fabrizio and Peressotti, Marco},
      title = {Choreographies meet Communication Failures},
      journal = {CoRR},
      volume = {abs/1712.05465},
      year = {2017},
      url = {http://arxiv.org/abs/1712.05465}
    }
    

  • Fabrizio Montesi, & Marco Peressotti. (2018). Classical Transitions. CoRR, abs/1803.01049.
    Bibtex | PDF

    @article{MP18,
      author = {Montesi, Fabrizio and Peressotti, Marco},
      title = {Classical Transitions},
      journal = {CoRR},
      volume = {abs/1803.01049},
      year = {2018},
      url = {http://arxiv.org/abs/1803.01049}
    }
    

Highlights

  • Choreographic Programming
    Fabrizio Montesi.
    PhD Thesis, IT University of Copenhagen, 2013.
    EAPLS Best PhD Dissertation Award 2014
    PDF Bibtex

  • Service-Oriented Programming with Jolie
    Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro.
    Book Chapter in Web Services Foundations, 2014. PDF Bibtex

  • JOLIE: a Service-oriented Programming Language
    Fabrizio Montesi.
    MSc Thesis, University of Bologna, 2010. PDF Bibtex


Jolie

I am a main author and the maintainer of Jolie, the first general-purpose programming language based on the service-oriented programming paradigm. Jolie has led to the winning of multiple prestigious awards in Italy, both industrial and academic. Jolie is the development language at italianaSoftware s.r.l., a research spin-off company that develops service-oriented solutions.
Jolie mixes the imperative and message-passing programming paradigm for offering an intuitive and expressive solution for programming services.

Its most notable features are:

Jolie is also open source, and we are always looking for people that want to join us in its development!

Chor

I am currently developing Chor, a language for the implementation of concurrent systems in terms of global programs. Chor allows for the specification of protocols as behavioural types and the definition of global programs based upon them. I have developed a development environment in Eclipse for creating and checking Chor programs. Once a program is written and checked, a tool is provided to automatically generate Jolie code that correctly implements a Chor program.