@article{oai:kanazawa-u.repo.nii.ac.jp:00008306,
 author = {Ogata, Kazuhiro and Futatsugi, Kokichi and Nakamura, Masaki},
 issue = {2},
 journal = {Computer Software},
 month = {Jan},
 note = {An example of verification of communication protocols with CafeOB J algebraic specification language is shown. The SCP communication protocol is a simplified version of the ABP communication protocol, which uses unreliable cells as communication channels between senders and receivers. The reliable communication property is as follows: when a receiver receives N packets, they are the first N packets that a sender has sent and the order in which the N packets has been sent is preserved. Described is the verification with proof score that the SCP communication protocol satisfies the reliable communication property., 金沢大学理工研究域電子情報学系},
 pages = {93--106},
 title = {CafeOBJ 入門 (6) : 通信プロトコルの検証},
 volume = {26},
 year = {2009}
}