並行計算
数々の並行計算モデルが提唱されている。
ペトリネット
データフローアーキテクチャ
プロセス代数 通信システム計算(英語版) 通信シーケンシャルプロセス
アクターモデル アクターモデル理論(英語版)
π-計算(英語版) アンビエント計算(英語版)
入力/出力オートマトン(英語版)
ソフトウェアトランザクショナルメモリ
アトミックコミット