@Inproceedings{EPTCS348.5, author = {Paul, Saswata and Patterson, Stacy and Varela, Carlos}, year = {2021}, title = {Formal Guarantees of Timely Progress for Distributed Knowledge Propagation}, editor = {Farrell, Marie and Luckcuck, Matt}, booktitle = {{\rm Proceedings Third Workshop on} Formal Methods for Autonomous Systems, {\rm Virtual, 21st-22nd of October 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {348}, publisher = {Open Publishing Association}, pages = {73-91}, doi = {10.4204/EPTCS.348.5}, }