@techreport{weko_22691_1, author = "瀬川清 and 坂東浩之 and 野田晴義 and 土居範久", title = "並列型プロセスの仕様を記述するための言語とその実現", year = "1982", institution = "早稲田大学, 慶應義塾大学, 慶應義塾大学, 慶應義塾大学", number = "48(1981-SE-022)", month = "feb" }