Similar to Communicating_Sequential_Processes
抽象機械
Abstract machineデータ駆動
データフロー
Dataflow非決定性チューリングマシン
Nondeterministic Turing machine非決定性有限オートマトン
Nondeterministic finite automaton表示的意味論
Denotational semanticsプッシュダウン・オートマトン
Pushdown automaton並列ランダムアクセス機械
Parallel RAMミーリ・マシン
Mealy machine要求駆動
ラビンオートマトン
Rabin automaton量子回路
Quantum circuitレジスタマシン
Register machineTemplate:節スタブ
Template:Expand sectionFNSソフト工場
TV-DOS
デアリング級駆逐艦
Daring-class destroyer (1949).32ACP弾
.32 ACP第1空母航空団 (アメリカ海軍)
Carrier Air Wing One第1軍 (韓国陸軍)
第1軍団 (韓国陸軍)
I Corps (South Korea)第1歩兵師団 (韓国陸軍)
1st Infantry Division (South Korea)第2軍 (韓国陸軍)
第2迅速対応師団
第2歩兵師団 (韓国陸軍)
2nd Quick Response Division (South Korea)第3軍 (韓国陸軍)
第三号駆潜艇
第3歩兵師団 (韓国陸軍)
3rd Infantry Division (South Korea)