ソフトウェアの基礎理論③_決定性並列プログラムのモデル――並列プログラム形を考え，決定性並列プログラムのモデルを紹介する