https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2517
83(1986-PRO-009)
情報学広場:情報処理学会電子図書館
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=31198&itemNo=1
村上, 龍郎
村上龍郎
CCS semanticsをベースとした通信システムの記述法 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31199&itemNo=1
高木, 雄二
高木雄二
坂部, 俊樹
坂部俊樹
稲垣, 康善
稲垣康善
並行システムの代数的仕様記述法 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31200&itemNo=1
菅沼, 知久
菅沼知久
黒沢, 馨
黒沢馨
通信プロトコルにおけるオーバーフローの多項式時間検証法 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31201&itemNo=1
岩間, 一雄
岩間一雄
バス結合並列モデルと最適並列化アルゴリズム (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31202&itemNo=1
堀田, 英一
堀田英一
入出力関数を基礎とした並行プロセスについての形式的理論とそのモデル (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31203&itemNo=1
程京徳
牛島, 和夫
牛島和夫
Ada(R)タスクに一意的識別子を付ける方法 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31204&itemNo=1
中川, 博満
中川博満
並列コンピューターの為のプログラミング技法 プログラミング言語PARACと逐次プログラムの自動並列化 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31205&itemNo=1
枚田, 正宏
枚田正宏
並列処理言語Ocの検証系の構想 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31206&itemNo=1
尾内, 理紀夫
尾内理紀夫
竹内, 郁雄
竹内郁雄
TAOによる並列問題解決プログラミング (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31207&itemNo=1
竹内, 彰一
竹内彰一
GHCプログラムの意味について (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=31208&itemNo=1
大澤, 一郎
大澤一郎
米澤, 明憲
米澤明憲
並列オブジェクト指向言語による並列構文解析 (並行分散システムの記述と検証)
2009-06-30T06:57:13+09:00
2009-06-30T06:57:13+09:00