Datasets
- 1 results
Search results
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Creator), Montesi, F. (Creator) & Peressotti, M. (Creator), Zenodo, 5. Sept 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Dataset