本研究では従来型プロセス代数（例：CCS）を拡張し、優先度付きや時間制約など新たな要素を取り入れています。特に、「ポリシー整合性」という新たな概念や「コヒーレント」なプロセス群へ対する処理方法など革新的な手法を導入しています。これらの拡張および改良は従来型代数モデルから進化したものであり、非同期システムだけでなく時間制約や優先度管理といった要素も考慮されています。