@phdthesis{oai:nagoya.repo.nii.ac.jp:00005058,
 author = {Yuen, Shoji and 結縁, 祥治},
 month = {Mar},
 note = {名古屋大学博士学位論文 学位の種類:博士(工学) (論文) 学位授与年月日:平成9年3月12日},
 school = {名古屋大学, Nagoya University},
 title = {Testing Semantics and Proof Techniques for Extended Communicating Process Models},
 year = {1997}
}