並行性
モデル開発と並行システムの理解のための形式手法には様々なものが開発されてきた。以下に主なものを列挙する。
並列ランダムアクセス機械
アクターモデル
BSP(英語版)モデルなどの計算ブリッジモデル
ペトリネット
プロセス計算
タプルスペース(英語版)(例えばLinda)
SCOOP(英語版) (Simple Concurrent Object-Oriented Programming)
Reo Coordination Language(英語版)
これら並行性モデルの一部は、第一に推論と仕様記述を目的としている。一方、他のモデルは開発サイクル全体(並行システムの設計、実装、証明、テスト、シミュレーション)をサポートすることを目的としている。
並行性モデルが乱立したことから、一部の研究者はそれら理論モデル群を統合する方法を模索することを考えた。