A Formal Theory of Choreographic Programming
Crossref DOI link: https://doi.org/10.1007/s10817-023-09665-3
Published Online: 2023-05-27
Published Print: 2023-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cruz-Filipe, Luís
Montesi, Fabrizio
Peressotti, Marco
Funding for this research was provided by:
University Library of Southern Denmark
Text and Data Mining valid from 2023-05-27
Version of Record valid from 2023-05-27
Article History
Received: 7 September 2022
Accepted: 9 April 2023
First Online: 27 May 2023