非決定性処理やテストなど、非常にチャレンジングな分散システムの特性を紹介します。