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