参考文献

1

長谷川 隆三，藤田 博，中田 健浩，力 規晃「並列プログ ラムのＮ逐次実行方式とＭＧＴＰへの適用」 九州大学大学院システム情報科 学研究科報告，Vol. 2, No. 2, pp. 241--246, 1997年9月．

2

藤田博，長谷川隆三「Java言語によるモデル生成型定理証明 系MGTPの実装」九州大学大学院システム情報科学研究科報告，Vol. 3，No. 1，1998 掲載予定．