ソフトウェアの基礎理論④_非決定性並列プログラムのモデル――OSに現われる非決定性並列プログラムを記述できるモデルを紹介する