Datasets
- 3 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
-
Keep me out of the loop: a more flexible choreographic projection
Cruz-Filipe, L. (Creator), Fabrizio (Creator) & Robert, R. (Creator), Zenodo, 17. Mar 2023
Dataset
-
Microservice Security: A Systematic Literature Review, dataset
Berardi, D. (Creator), Giallorenzo, S. (Creator), Mauro, J. (Creator), Melis, A. (Creator), Montesi, F. (Creator) & Prandini, M. (Creator), Zenodo, 20. May 2021
Dataset