On Partial-Order and Automata Techniques for Analyzing Communication

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.