並行性の表示的意味論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 16:28 UTC 版)
「表示的意味論」の記事における「並行性の表示的意味論」の解説
並行性に関する表示的意味論としては、プロセス代数に基づくものなどがある。表示的意味論の並行性への拡張は困難であることが証明されている(無制限の非決定性参照)。
※この「並行性の表示的意味論」の解説は、「表示的意味論」の解説の一部です。
「並行性の表示的意味論」を含む「表示的意味論」の記事については、「表示的意味論」の概要を参照ください。
- 並行性の表示的意味論のページへのリンク