著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
武舎 広幸 and 徳田 雄洋,Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,1983-06,,494,126-136,https://cir.nii.ac.jp/crid/1570009752595486336,