Introduction to Protocols

This lecture sets the stage for the Akka Typed week: we explore how to express a communication protocol such that a machine can understand the message exchange — meaning who shall send which message type and when. In particular we discuss session types, consisting of a global type that describes the whole interaction at once, and local projections that specify the expected sequence of send and receive operations for any single party in isolation.

Hosting of the video
sponsored by