Temporal Process Language とは

理論的なコンピュータサイエンスでは、TPL(Temporal Process Language)はロビンミルナーのCCSをマルチパーティー同期という概念で拡張したプロセス計算であり、これによって複数のプロセスがグローバルな '時計'に同期することができます。このクロックは時間を測定しますが、具体的ではありませんが、プロセス全体がいつ進むことができるかを定義する抽象的な信号です。