@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00114295,
 book = {全国大会講演論文集},
 issue = {ネットワークおよび分散処理},
 month = {Oct},
 note = {代数的に記述されたプロトコルにおいては、プロトコルが満たすべき様々な性質は定理として、同じ代数の枠組みの中で証明が行われる。本稿では、プロトコル・プロジェクションの概念を基に、与えられたプロトコルの代数的仕様から、証明すべき命題に関して等価なより簡単な代数を定義して、証明の手続きを簡単にする方法について述べる。},
 pages = {995--996},
 publisher = {情報処理学会},
 title = {代数的に記述されたプロトコルの検証に関する一考察},
 volume = {第33回},
 year = {1986}
}