Message Chains for Distributed System Verification

Open Webpage

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Published: 2023, Last Modified: 23 Jul 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0