Скачать с ютуб On Frameworks for Implementing Distributed Protocols в хорошем качестве

On Frameworks for Implementing Distributed Protocols

A companion video to a blog post that concludes the second phase of the state-of-the-art exploration in the scope of milestone M0.1 of the Replica_IO project, namely exploration of existing frameworks for implementing distributed protocols. It shares the main conclusions drawn from exploring 7 different frameworks. A link to the post: https://replica-io.dev/blog/2024/08/2... Get involved: Website: https://replica-io.dev/ Blog: https://replica-io.dev/blog GitHub: https://github.com/replica-io Discord:   / discord   X / Twitter:   / replica_io   Support Replica_IO: https://github.com/sponsors/replica-io Contact Sergey: LinkedIn:   / en   Twitter:   / sergefdrv   Telegram: https://t.me/sergefdrv Slides: https://docs.google.com/presentation/... 00:00 Intro 00:27 Exploring Distributed Protocol Frameworks 01:53 Aspects of Distributed Protocol Frameworks 02:47 Model 09:23 Model (Summary) 10:34 Structure 17:03 Structure (Summary) 17:42 Notation 22:38 Notation (Summary) 23:17 Operation 26:53 Operation (Summary) 27:20 Verification 31:57 Verification (Summary) 32:43 Recap 33:12 Conclusions 35:30 Next Steps 37:22 Get Involved 37:37 Sponsors