MGTP応用(2) プロトコル仕様記述システム 概要 複雑なプロトコルの仕様を容易に記述できるように、プロトコル仕様記述言語 Ackを提案した。また、その処理系を並列定理証明技術を利用して開発し、電話 交換機のサービス記述に適用した。 Ackの記法