Similar to データフロー
Communicating Sequential Processes
Communicating sequential processesオペランドスタック
スタックマシン
Stack machine抽象化 (計算機科学)
Abstraction (computer science)計算モデル
Model of computationOISC
One-instruction set computerアクターモデル
Actor modelオートマトン
Automata theory可逆計算
Reversible computing拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine決定性有限オートマトン
Deterministic finite automaton交替性チューリング機械
Alternating Turing machine自動微分
Automatic differentiation状態遷移系
Transition system状態遷移図
State diagram状態遷移表
State-transition table神託機械
Oracle machineゼノン機械
Zeno machine線形拘束オートマトン
Linear bounded automatonタグシステム
Tag system抽象機械
Abstract machineチューリングマシン
Turing machineデータ駆動
非決定性チューリングマシン
Nondeterministic Turing machine非決定性有限オートマトン
Nondeterministic finite automaton表示的意味論
Denotational semanticsビリヤードボール・コンピュータ
Billiard-ball computer