並行性
例えば Lee と Sangiovanni-Vincentelli は各種並行性モデルの表示的意味論を定義する共通フレームワークを提供すべく "tagged-signal" モデルを提唱した。一方、Nielsen、Sassone、Winskel は各種モデルを統合理解するのに圏論が有効であるとした。
アクターモデルにおける Concurrency Representation Theorem は、外部からの通信を受け付けないという意味で閉じている並行システムを汎用的に表現する方法を提供している。プロセス計算などの他の並行性システムは、2相コミットプロトコルを使ってアクターモデルでモデル化できる。閉システム S は、その初期挙動 ⊥S に対して挙動近似関数 progressionS を適用することでよりよい近似を構築でき、S の数学的記述(意味)は次のようになる。
DenoteS ≡ ⊔i∈ω progressionS(⊥S)
このようにすると、S は全てのとりうる挙動で数学的に特徴付けられることができる。