https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2565
35(1982-PRO-002)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31476&itemNo=1
宮地, 利雄
宮地利雄
片山, 卓也
片山卓也
階層的関数型の並行計算モデル
2009-06-30T07:03:29+09:00
2009-06-30T07:03:29+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31477&itemNo=1
萩野達也
Communicating Sequential Processesの検証
2009-06-30T07:03:29+09:00
2009-06-30T07:03:29+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31478&itemNo=1
林, 健志
林健志
宮野, 悟
宮野悟
Flow Expressions and Complexity Analysis
2009-06-30T07:03:29+09:00
2009-06-30T07:03:29+09:00