プロセスの数学
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:13 UTC 版)
プロセス計算を定義するには、通信手段を提供することを目的とした「名前（name）」または「通信路（channel）」を始点とする。多くの実装で、通信路内には効率向上のための複雑な構造があるが、理論モデルではそれらは抽象化によって消え去る。名前に加えて、古いプロセスから新たなプロセスを形成する手段が必要である。そして、以下のような演算子が一般に存在する。 プロセス群の並列合成（parallel composition） データの送受信にどの通信路を使うかの指定 相互作用の逐次化 相互作用点の隠蔽 再帰またはプロセス複製
※この「プロセスの数学」の解説は、「プロセス計算」の解説の一部です。
「プロセスの数学」を含む「プロセス計算」の記事については、「プロセス計算」の概要を参照ください。
ウィキペディア小見出し辞書の「プロセスの数学」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- プロセスの数学のページへのリンク
