Session Types
A formal type system used to describe communication protocols. It can characterize interaction structures and impose dual constraints on the behavior of communicating parties, and serves as the theoretical foundation of choreographic programming.
Timeline (last 90 days)
Session types are a formal type system for describing communication protocols, capable of characterizing interaction structures such as send-then-receive, choice branching and recursion, and imposing dual constraints on the behavior of both communicating parties.
Academia usually guarantees that projection is always decidable by restricting the protocol form (such as prohibiting changing the role set in branches and restricting broadcast to statically known roles only).
All Facts (2)
Session types are a formal type system for describing communication protocols, capable of characterizing interaction structures such as send-then-receive, choice branching and recursion, and imposing dual constraints on the behavior of both communicating parties.
50%UnverifiedAcademia usually guarantees that projection is always decidable by restricting the protocol form (such as prohibiting changing the role set in branches and restricting broadcast to statically known roles only).
50%