HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:distributed protocols

Papers
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
Towards an Automatic Proof of Lamport's Paxos
Aman Goel and Karem A. Sakallah
EasyChair Preprint no. 6510
Copyright © 2012-2023 easychair.org. All rights reserved.