Chor        choreography programming language

Publications

  • The Paths to Choreography Extraction
    Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi.
    In FoSSaCS, 2017. PDF

  • Classical Higher-Order Processes
    Fabrizio Montesi.
    In FORTE, 2017. PDF

  • Procedural Choreographic Programming
    Luís Cruz-Filipe, Fabrizio Montesi.
    In FORTE, 2017. PDF

  • Packaging Microservices
    Fabrizio Montesi, Dan S. Thrane.
    In FORTE, 2017. PDF

  • Encoding Asynchrony in Choreographies
    Luís Cruz-Filipe, Fabrizio Montesi.
    In SAC, 2017. PDF

  • Choreographies, Logically (Extended version)
    Marco Carbone, Fabrizio Montesi, Carsten Schuermann.
    In Distributed Computing, 2017. PDF

  • Multiparty Session Types as Coherence Proofs (Extended version)
    Marco Carbone, Fabrizio Montesi, Carsten Schuermann, Nobuko Yoshida.
    In Acta Informatica, 2017. PDF

  • Microservices: yesterday, today, and tomorrow
    Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara Fabrizio Montesi, Ruslan Mustafin, Larisa Safina.
    Book Chapter in PAUSE, 2017. PDF

  • Process-aware Web Programming with Jolie
    Fabrizio Montesi.
    In Science of Computer Programming, 2016. PDF

  • A Core Model for Choreographic Programming
    Luís Cruz-Filipe, Fabrizio Montesi.
    In FACS, 2016. PDF

  • Coherence Generalises Duality: a logical explanation of multiparty session types
    Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schuermann, Philip Wadler.
    In Proceedings of CONCUR 2016. PDF

  • Choreographies in Practice
    Luís Cruz-Filipe, Fabrizio Montesi.
    In Proceedings of FORTE 2016. PDF

  • Data-Driven Workflows for Microservices: Genericity in Jolie
    Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Víctor Rivera.
    In Proceedings of AINA 2016. PDF

  • Self-Reconfiguring Microservices
    Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi.
    In Theory and Practice of Formal Methods, 2016. PDF

  • Kickstarting Choreographic Programming
    Fabrizio Montesi.
    In Proceedings of WS-FM 2014/2015. PDF Bibtex

  • Multiparty Session Types as Coherence Proofs
    Marco Carbone, Fabrizio Montesi, Carsten Schuermann, Nobuko Yoshida.
    In Proceedings of CONCUR 2015. PDF Slides Bibtex

  • The Evolution of Jolie - From Orchestrations to Adaptable Choreographies
    Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro.
    In Proceedings of Software, Services, and Systems 2015. PDF Bibtex