Functional Choreographic Programming

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti. Functional Choreographic Programming. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 212-237, Springer, 2022. [doi]

Authors

Luís Cruz-Filipe

This author has not been identified. Look up 'Luís Cruz-Filipe' in Google

Eva Graversen

This author has not been identified. Look up 'Eva Graversen' in Google

Lovro Lugovic

This author has not been identified. Look up 'Lovro Lugovic' in Google

Fabrizio Montesi

This author has not been identified. Look up 'Fabrizio Montesi' in Google

Marco Peressotti

This author has not been identified. Look up 'Marco Peressotti' in Google