HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Fabrizio Montesi

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

Keyphrases

Certified implementation, Choreographic Programming, distributed protocols, theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.