Kyoto University Research Information Repository: 検索

検索

検索結果表示: 1-10 / 11.

検索結果:

書誌情報	ファイル
Adaの待ち合わせの標準形について(同期の数理) 石畑, 清; 筧, 捷彦 (1982-10) 数理解析研究所講究録, 470: 14-28
Prologのコルーチン・インタプリタの検証について(同期の数理) 古川, 康一; 新田, 克己 (1982-10) 数理解析研究所講究録, 470: 29-45
同期基本命令の変遷と数理の必要性(同期の数理) 土居, 範久 (1982-10) 数理解析研究所講究録, 470: 1-13
PDL-Process-Data Language 瀬川, 清 (1982-10) 数理解析研究所講究録, 470: 46-56
表紙・目次 (1982-10) 数理解析研究所講究録, 470
汎用コンピュータ・システムにおけるオンライン・リアルタイム・サポートソフトウェア開発例(同期の数理) 福地, 達雄 (1982-10) 数理解析研究所講究録, 470: 57-88
「同期基本命令の公理的定義」の紹介(同期の数理) 瀬川, 清 (1982-10) 数理解析研究所講究録, 470: 104-113
Communicating Sequential Processesの数学モデル(同期の数理) 萩野, 達也 (1982-10) 数理解析研究所講究録, 470: 91-96
Message Passingの理論(同期の数理) 米澤, 明憲 (1982-10) 数理解析研究所講究録, 470: 114-124
CSP、DP、Adaの比較(同期の数理) 石畑, 清 (1982-10) 数理解析研究所講究録, 470: 89-90