"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022) | Strange Loop Conference | Podwise