高階双模倣性に対する完全抽象的な距離モデル(Extended Abstract)

スポンサーリンク

概要

• 論文の詳細を見る

• プロセスのみではなく, 前もって定められた基本型の通信チャネルや値も送受できるようにThomsenのCalculus of Higher-Order Communicating Systems(CHOCS)を拡張した言語Lを提案する. この言語に対して, 距離空間意味論の方法を用いて表示的意味モデルDを構築し, Dが高階双模倣性に対して完全抽象的であること, 即ちDが高階双模倣性を忠実に表現することを示す.

• 一般社団法人情報処理学会の論文
• 1997-08-21

著者

• 堀田 英一

  Nttソフトウェア研究所

関連論文

• 失敗集合モデルによる非同期通信系の等価性定式化
• 並行合成のスレッド生成への忠実な翻訳法
• 高階双模倣性に対する完全抽象的な距離モデル(Extended Abstract)
• 通信サービス記述のための知識と動作に基づく様相論理SSL
• チャネルに基づく選択付き通信のための分散プロトコル
• Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系

スポンサーリンク