Choreographic Programming With Multicast and Multiply Located Values

Explore a groundbreaking approach to choreographic programming in this 19-minute conference talk presented at the CP 2024 workshop. Delve into the innovative 𐤄λsmall language, which introduces multiply located values and multicast capabilities to simplify complex communication patterns. Learn how this new paradigm offers an elegant alternative to traditional "select" operations by requiring conditional guards to be located at all relevant parties. Discover how well-typed choreographies in 𐤄λsmall guarantee deadlock-free execution. Examine case studies demonstrating the language's ability to concisely encode intricate communication patterns without relying on "select" or redundant communication. Gain insights from presenters Mako P. Bates and Joseph P. Near from the University of Vermont as they showcase the potential of 𐤄λsmall to revolutionize choreographic programming.

[CP24] We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values