Extension-Based Proofs for Synchronous Message Passing

Published in In the proceedings of 35th International Symposium on Distributed Computing (DISC 2021), 2021

Recommended citation: Yilun Sheng, Faith Ellen, "Extension-Based Proofs for Synchronous Message Passing." In the proceedings of 35th International Symposium on Distributed Computing (DISC 2021), 2021. https://drops.dagstuhl.de/opus/volltexte/2021/14838