検索結果

…は'''プロセス代数'''（プロセスだいすう、{{lang-en-short|Process algebras}}）は、[[計算機科学]]において[[並行性|並行システム]]を形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述す [[Category:並行性]] …

[[Category:並行性]] …

'''Communicating Sequential Processes'''（'''CSP'''）とは、[[並行性]]に関する[[プロセス計算]]の理論のひとつである<ref name="roscoe">{{cite book|first=A. W.|last=Ro [[Category:並行性]] …

[[Category:並行性]] …

…-853762-X)</ref>。その後、研究者らは[[:en:Power domains|Power Domains]]に基づいた手法を提案し、[[並行性|並行システム]]の意味論の困難さを克服する努力をしている<ref name=Plotkin1976>Gordon Plotkin. ''A power …

[[Category:並行性]] …

== 並行性 == …である。）このため、ラムダ計算を用いて種々の非決定的[[評価戦略]]をモデル化することができる。[[並列コンピューティング|並列性]]や[[並行計算|並行性]]をモデル化するためのより強力な手法として、[[Communicating Sequential Processes|CSP]]、[[CCS]]、[[ …

…ての[[公理]]と[[推論規則]]が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。[[並行性]]に関する規則、[[プロシージャ]]に関する規則、[[分岐命令|分岐]]に関する規則、[[ポインタ (プログラミング)|ポインタ]]に関する規則などが …

…⁺'''は、[[レスリー・ランポート|Leslie Lamport]]によって開発された[[形式仕様記述|形式仕様]]言語。[[並行性|並行システム]]と[[分散コンピューティング|分散システム]]の設計、モデル化、文書化、および検証に使用される。 TLA⁺は、網 [[Category:並行性]] …