文字サイズ 小中大
(1) 並列分散処理を行うソフトウェアを設計記述するために必要となる計算モデルとプログラミング言語について講義する。(2) 並列分散的な計算環境において相互排除や同期を行うために用いられるアルゴリズムについて講義する。(3) 並列プログラムの意味論と検証について講義する。