シリーズ監修者
本位田　真一（ほんいでん　しんいち）
1978 年　早稲田大学大学院理工学研究科博士前期課程　修了
1978 年　株式会社　東芝
現　在　　国立情報学研究所教授・東京大学大学院情報理工学系研究科教授　工学博士

監修者・著者紹介（※は監修者）

東野　輝夫（ひがしの　てるお）（※）
1984 年　大阪大学大学院基礎工学研究科博士後期課程修了　工学博士
1984 年　大阪大学　助手
現　在　　大阪大学大学院情報科学研究科　教授
並行分散システム、モバイル・コンピューティングなどに関する研究に従事。

磯部　祥尚（いそべ　よしなお）
1992 年　芝浦工業大学大学院電気工学専攻修士課程　修了
1992 年　通商産業省工業技術院電子技術総合研究所
現　在　　独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員　准教授　工学博士
形式手法による並行システムの検証に関する研究に従事。