Contents Intro.

通信プロセス計算は、「通信」を計算の基本単位として主に並行分散計算を定式化する体系である。本講演では、通信プロセス計算を並行プログラムのモデルとする際の基礎的な概念と技法について紹介する。通信に基づく並行プログラムのモデル化には、並行実行といった逐次計算にはない新たな構成要素が必要となる。このため、通信プロセス計算における等価性は、逐次計算における基本的な意味である関数の外延性よりも詳細な等価性となる。等価性が演算子に関して代数的に定義されるため、通信プロセスモデルは通常「プロセス代数」と呼ばれる。通信プロセスモデルは従来の関数的な計算の解釈を拡張する。例を通して、通信プロセスの本質的な意味について説明し、双模倣等価性の導入、時相論理による特徴づけ、さらに、代数としての公理化について簡単に解説する。最後に、この分野における今後の発展の方向について述べる。

Details

Publication year

2007

Form

電子化映像資料(1時間47分16秒)

Series title

情報科学研究科・ゼミナール講演 ; 平成18年度

Note

講演者所属: 名古屋大学大学院情報科学研究科助教授

講演日: 平成19年1月29日

講演場所: 情報科学研究科中講義室(L3)

音声不具合

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

結縁, 祥治 (ユウエン, ショウジ)