@inbook{318e3fb5ea91491e9c2e75220037dfca,
title = "Choreographies in Practice",
abstract = "Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, and mechanically synthesise process implementations. There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.",
author = "Lu{\'i}s Cruz-Filipe and Fabrizio Montesi",
note = "FORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems : Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, 36th IFIP, FORTE 2016 ; Conference date: 06-06-2016 Through 09-06-2016",
year = "2016",
month = may,
day = "24",
doi = "10.1007/978-3-319-39570-8\_8",
language = "English",
isbn = "978-3-319-39569-2",
volume = "9688",
series = "Lecture Notes in Computer Science",
pages = "114--123",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2016",
publisher = "Springer Nature Switzerland",
}