正しく通信するソフトウェア：分散、非同期、およびそれ以上

メッセージパッシングソフトウェアの正確な通信を保証するためのセッションタイプの重要性と利用方法。