Reasoning About Choreographic Programs
Book chapter (June 2023)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Book chapter (June 2023)
Preprint in arXiv (April 2023)
Article in ACM SIGLOG News (April 2021)