Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore message-passing synchronization techniques in concurrent programming and distributed systems through this 36-minute lecture by Anca Muscholl from the University of Bordeaux. Delve into peer-to-peer and mailbox communication models, examining their applications in telecommunication protocols and multi-thread programming languages like Rust and Erlang. Gain insights into verification and synthesis methods for peer-to-peer communication, and discover recent developments in mailbox communication analysis. Learn about partial-order and automata techniques used to analyze these communication paradigms, and understand their implications for system design and synthesis.
