×

Found 7 Documents (Results 1–7)

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software