並行プログラミングの重要性
並列・分散システム
本質的に並行性のあるアプリケーション
?
並行プログラミング:複数のプロセスが通信しながら計算する
並行プログラミング言語
CML [Reppy 91], Pict [Pierce & Turner 97]
並行プロセス計算
?-calculus [Milner 93], HACL [Kobayashi 96]
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示