@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00118038,
 book = {全国大会講演論文集},
 issue = {ネットワーク},
 month = {Oct},
 note = {通信プロトコルの適合性試験では,試験系列や期待される出力をシーケンス図の形で表す場合が多い.そこで,本稿では,各プロセスの動作仕様がツリーの形で定義される場合に,プロセス間の通信を対話的に実行して一連のシーケンスを求め,シーケンス図の形で表示するソフトウェア・ツールについて報告する.以下,まず2節で,それぞれのプロセスおよびプロセス構造の記述形式および記述例を示す.次に3節で,通信の対話的な実行によるシーケンスの抽出について検討する.さらに4節で,シーケンス図の表示について説明する.},
 pages = {1963--1964},
 publisher = {情報処理学会},
 title = {プロトコルにおける並列動作を含むイベントシーケンスの生成と表示},
 volume = {第39回},
 year = {1989}
}