Cruz-Filipe, Luís; Montesi, Fabrizio; Peressotti, Marco A formal theory of choreographic programming. (English) Zbl 07702727 J. Autom. Reasoning 67, No. 2, Paper No. 21, 34 p. (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., J. Autom. Reasoning 67, No. 2, Paper No. 21, 34 p. (2023; Zbl 07702727) Full Text: DOI arXiv
Cruz-Filipe, Luís; Graversen, Eva; Lugović, Lovro; Montesi, Fabrizio; Peressotti, Marco Functional choreographic programming. (English) Zbl 07719834 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 212-237 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Lect. Notes Comput. Sci. 13572, 212--237 (2022; Zbl 07719834) Full Text: DOI arXiv
Kjær, Bjørn Angel; Cruz-Filipe, Luís; Montesi, Fabrizio From infinity to choreographies. Extraction for unbounded systems. (English) Zbl 1522.68068 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 103-120 (2022). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{B. A. Kjær} et al., Lect. Notes Comput. Sci. 13474, 103--120 (2022; Zbl 1522.68068) Full Text: DOI arXiv
Cruz-Filipe, Luís; Montesi, Fabrizio; Peressotti, Marco Certifying choreography compilation. (English) Zbl 07500641 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 115-133 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Lect. Notes Comput. Sci. 12819, 115--133 (2021; Zbl 07500641) Full Text: DOI arXiv
Cruz-Filipe, Luís; Montesi, Fabrizio A core model for choreographic programming. (English) Zbl 1436.68078 Theor. Comput. Sci. 802, 38-66 (2020). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI arXiv Link
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio The paths to choreography extraction. (English) Zbl 1486.68111 Esparza, Javier (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 424-440 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Lect. Notes Comput. Sci. 10203, 424--440 (2017; Zbl 1486.68111) Full Text: DOI arXiv
Cruz-Filipe, Luís; Lanese, Ivan; Martins, Francisco; Ravara, António; Vasconcelos, Vasco Thudichum The stream-based service-centred calculus: a foundation for service-oriented programming. (English) Zbl 1342.68058 Formal Asp. Comput. 26, No. 5, 865-918 (2014). MSC: 68N19 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Formal Asp. Comput. 26, No. 5, 865--918 (2014; Zbl 1342.68058) Full Text: DOI