@techreport{weko_31029_1, author = "戸村,哲 and 石川,裕 and 二木,厚吉", title = "プロセス代数型言語「あ」について", year = "1988", institution = "電子技術総合研究所, 電子技術総合研究所, 電子技術総合研究所", number = "94(1988-PRO-027)", month = "dec" }