非同期の信頼できないブロードキャスト通信のためのセッション型システム

非信頼性ブロードキャスト通信を扱うためのセッション型システムを提案する。セッション型システムにより、プロトコルの実装を型チェックによって検証できる。