Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.