Similar to アクターモデル
非決定性チューリングマシン
Nondeterministic Turing machine非決定性有限オートマトン
Nondeterministic finite automaton表示的意味論
Denotational semanticsビリヤードボール・コンピュータ
Billiard-ball computerプッシュダウン・オートマトン
Pushdown automaton並列ランダムアクセス機械
Parallel RAMミーリ・マシン
Mealy machine有限オートマトン
Finite-state machine要求駆動
ラビンオートマトン
Rabin automaton量子回路
Quantum circuitレジスタマシン
Register machine並行計算
Concurrent computingAmoeba (オペレーティングシステム)
Amoeba (operating system)C Sharp
C Sharp (programming language)Chapel
Chapel (programming language)Co-array Fortran
Coarray FortranComponent Object Model
Component Object ModelConcurrency and Coordination Runtime
Concurrency and Coordination RuntimeConcurrent Prolog
Constraint Handling Rules
Constraint Handling RulesEarliest Deadline First
Earliest deadline first schedulingErlang
Erlang (programming language)Fortress
Fortress (programming language)Go (プログラミング言語)
Go (programming language)Guarded Horn Clauses
High Performance Fortran
High Performance FortranKL1
KL1