表示的意味論
並行性に関する表示的意味論としては、プロセス代数に基づくものなどがある。表示的意味論の並行性への拡張は困難であることが証明されている(無制限の非決定性参照)。
表示が異なるプログラムは観測される動作も異ならなければならない。
その他に表示的意味論と操作的意味論について保持するのが望ましい特徴は以下の通りである。