Keyword:Certified implementation

Publications
Keep me out of the loop: a more flexible choreographic projection Luís Cruz-Filipe, Fabrizio Montesi and Robert R. Rasmussen In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning