@techreport{weko_30634_1, author = "大林,正晴 and 本位田真一", title = "発生型ソフトウェアのプロセス代数による記述について", year = "1992", institution = "(株)管理工学研究所, (株)東芝", number = "67(1992-PRO-008)", month = "aug" }