Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Synthesizing Distributed Protocols from Global Session Types

Simons Institute via YouTube

Overview

Explore a 26-minute lecture on synthesizing distributed protocols from global session types, presented by Elaine Li from New York University at the Simons Institute. Delve into the world of multiparty session types (MSTs) and their role in reasoning about communication protocols. Examine the concept of projection operators, which are crucial for synthesizing correct-by-construction distributed implementations from high-level protocols represented as global types. Learn about the limitations of existing syntactic projection operators and discover the first sound and complete projection operator introduced in this talk. Gain insights into the automata-theoretic nature of this new projection operator and understand how implementability can be directly checked on the computed candidate implementations. This lecture is part of the "Synthesis of Models and Systems" series and offers valuable knowledge for those interested in distributed systems, protocol synthesis, and formal verification.

Syllabus

Synthesizing distributed protocols from global session types

Taught by

Simons Institute

Reviews

Start your review of Synthesizing Distributed Protocols from Global Session Types

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.