様相論理による分散システムの記述とシミュレーションに関する研究