비동기 신뢰할 수 없는 브로드캐스트 통신을 위한 세션 타입 시스템

세션 타입은 신뢰할 수 없는 브로드캐스트 통신 환경에서도 구조화된 통신 프로토콜을 명세하고 구현을 검증할 수 있게 해준다.