"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022) - YouTube - discu.eu

Linking pages

GitHub - p-org/P: The P programming language. https://github.com/p-org/P 199 comments
Notes on Every Strangeloop 2022 Talk I Attended • Hillel Wayne https://www.hillelwayne.com/post/strangeloop-22/ 32 comments

Related searches:

Search whole site: site:www.youtube.com

Search title: "Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022) - YouTube

See how to search.

Submit link to: