Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03736055n
Noun Concept
Categories: 形式仕様記述言語, 並行計算, 形式手法, 数学に関する記事, 計算モデル
JA
プロセス計算  プロセス代数
JA
プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。 Wikipedia
Definitions
Relations
Sources
JA
プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。 Wikipedia
IS A
技術
数理モデル
EN
universal algebra
HAS KIND
アンビエント計算
通信システム計算
π計算
EN
join-calculus
HAS INSTANCE
EN
MCRL2
EN
PEPA
通信システム計算
π計算
EN
join-calculus
+1 relations
USE
並行計算
Wikipedia
JA
プロセス計算
Wikidata
JA
プロセス計算
Wikipedia Redirections
JA
プロセス代数
Wikidata Alias
JA
プロセス代数
Wikipedia Translations
JA
プロセス代数, プロセス計算

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License