@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00117579,
 book = {全国大会講演論文集},
 issue = {ソフトウェア},
 month = {Oct},
 note = {プロトコル試験、プロトコル合成、階層的な並行プロセス記述などを形式的に扱うためには、システム等価性の定式化が必要である。同期通信系の等価性については、Observation(Bisimulation) Equivalence、Testing Equivalenceなど多くの研究が有るが、非同期通信系については十分な議論がなされていない。本稿では、BrookesらのCSPにもとづき、Failure Set(以下失敗集合とよぶ) Equivalenceを非同期通信系における等価性に拡張する。},
 pages = {1060--1061},
 publisher = {情報処理学会},
 title = {失敗集合モデルによる非同期通信系の等価性定式化},
 volume = {第39回},
 year = {1989}
}