並行オブジェクト計算のための形式系 (<特集>オブジェクト指向研究会から)
スポンサーリンク
概要
- 論文の詳細を見る
この論文では,オブジェクト間の非同期相互作用という概念を基礎にした形式系を提示する.この形式系は,Milnerによるπ計算の計算的に完全な断片[15]を表現能力をおとすことなく構文的に縮小したものであり,非同期的相互作用に基づく計算という概念を簡潔に表現している.意味論的には,非同期通信に基づく等価性理論が,従来の同期通信に基づく等価性理論との興味深い差異を示す.本論文では,形式系に対する基礎的な定義を幾つかの例とともに与え,その意味論的性質に関して簡単に議論する.
- 日本ソフトウェア科学会の論文
- 1992-03-16
著者
-
本田 耕平
慶應義塾大学理工学部
-
所 真理雄
慶応大
-
所 真理雄
慶応義塾大学理工学部院
-
所 真理雄
慶應義塾大学
-
所 真理雄
慶應義塾大学理工学部:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
慶應義塾大学電気工学科
-
所 真理雄
慶應義塾大学大学院理工学研究科:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
ソニーコンピュータサイエンス研究所
-
本田 耕平
慶應義塾大学
関連論文
- 8.コンピュータサイエンスはいかにして人類の未来に貢献するか : オープンシステムサイエンスにおけるコンピュータサイエンスの役割(情報処理技術の未来地図,50周年記念特集号)
- オブジェクト指向計算特集の編集にあたって
- ν計算・並行結合子・プログラミング言語
- 明日のイメージコミュニケーションを考える
- 並行計算のための簡約意味論
- 健診システムにおける「曖昧さ」の取り扱いに関するアプローチ
- マルチメディアと研究・教育
- ApertosオペレーティングシステムによるIPv6ルータの構築
- 超高精細画像マルチメディアと超高速コンピュータネットワーク実験
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 原子オブジェクトにおける協調原子性の実現方式
- マルチバージョン原子オブジェクト
- 並行オブジェクト指向言語 : Concurrent Smalltalk
- スロット仮想空間によるオブジェクト間通信の高速化
- エージェント指向言語MALS
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- 進化する学習エージェント集団の動的環境への適応
- フローを考慮した経路制御機構
- マルチキャスト通信のための鍵交換プロトコルの拡張
- マルチキャスト通信のための鍵交換プロトコロルの拡張
- マルチキャスト通信のための鍵交換プロトコルの拡張
- 3次元メモリを用いた立体図形表示機構--SCOPE (画像処理特集) -- (画像の生成)
- 視線を伴った表情とのインタラクション
- 行動シミュレーションに基づいたアニメーションシステムParadise
- 「専用プロセッサの方式とシステム構成特集号」を編集するにあたって
- マルチバージョン並行オブジェクト
- トランザクション管理オブジェクトによる一貫性保証方式
- 情報学にパラダイムシフトを起こすオープンシステムサイエンス！ 情報担当者はどう理解し，どう行動すればいいのか (株)ソニーコンピュータサイエンス研究所代表取締役社長 所眞理雄氏に聞く
- 10. 技術成熟期における研究開発(1000号記念「夢・創・想・感」)
- Special Talk 特別対談 ソニー所 眞理雄氏 対 松下電器産業 櫛木好明氏--CE Linuxに託す僕らの想い (特別編集版 GLP最前線)
- 特別対談 ソニー 所眞理雄氏 対 松下電器産業 櫛木好明氏 CE Linuxに託す僕らの想い
- INTERVIEW ソニー執行役員上席常務 所眞理雄氏--ユビキタスで会社を楽しくしよう 効率最優先はデフレを加速するだけ
- ボーダレス社会と二十一世紀の教育研究
- 再会を考慮した協調方式
- イメージネットワーク
- 非均一環境における分散GAの個体移動に関する考察
- 動的環境下における学習と遺伝・進化 : ダーウィニズムとラマルキズムの比較(複雑系5)
- 進化的エージェント集団の動的環境への適応 ( マルチエージェント)
- 25年後の技術を語る
- 自己反映的分散プログラミングシステムAL-1/Dにおけるオブジェクトの動的再配置 (自己反映計算(リフレクション))
- オブジェクト指向並行プログラミング言語 (オブジェクト指向プログラミング)
- 並行オブジェクト指向知識表現言語Orient 84/K
- 計算場における分散プロセスの準最適配置
- リアルタイム通信プロトコルRtPの設計
- 分散実時間システム記述言語DROLにおける最小被害戦略の実現
- 並行オブジェクト計算のための形式系 (オブジェクト指向研究会から)
- 分散人工知能とプログラミング言語 (「分散人工知能」)
- 分散計算のための局所時間性に基づく形式系
- 離散系シミュレーションの分散時刻管理
- マルチエージェントシステム研究の目指すもの : コメントに対するコメント
- 高度情報化社会のためのソフトウェア構築方法論
- マルチエージェントシステム研究の目指すもの
- マルチエージェントシステムにおける競合回避のためのネゴシエーション手法 ( マルチエージェントと協調計算)
- 地図を用いた協調探索 : 複数エージェントの集結問題を例として ( マルチエージェントと協調計算)
- プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
- 時間的特性を考慮した並列プロセスの形式的記述 (並列処理)
- ソフトウェア産業の健全な発展に向けて
- 適応化コンポジション : 開放型システムにおけるコンポジションに基づいた新しいソフトウェア構築手法 (オブジェクト指向研究会から)
- オペレーティングシステムの観点から (超並列処理)
- 自律的エージェントからなる組織の計算モデルと分散協調問題解決への応用
- カットオペレータを排除し明示的に制御を行う論理型言語 : ALEX
- データ駆動型計算機における準動的並列実行制御
- 分散型知識処理に適したオブジェクト指向ルールベース・プログラミング
- On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory
- 4. 並列処理システムの展望 (並列処理技術)
- Tenth ACM Symposium on Operating Systems Principles
- Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering)
- 可変構造計算機とソフトウェア・エンジニアリング
- IVERSON言語(A Programming Language)
- 診療支援システムにおける" あいまいさ" の研究