講演名 | 1994/3/9 μ-calculusによる再帰プロセスの合成 木村 成伴, 富樫 敦, 白鳥 則郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 代数的プロセスは通信プロトコルや並行プロセスの記述や検証問題などに用いられている.その反面,その記述の容易さや読解性にはやや難がある.この問題を解決する手がかりとして,本稿では,プロセスの性質を与え,それらを全て満たすプロセスを合成するアルゴリズムを提案する.プロセスの性質を表すためにμ-calculusを用いるが,この論理演算子の内,不確定要素を持つVとμ演算子を含む論理式は合成が困難なため,対象から除外している.さらに,このアルゴリズムが極限において,意図したプロセスと上記の制約の元で区別がつかないプロセスに収束することを示す. |
抄録(英) | Algebraic calculation method are used to describe conununication protocol and concurrent programs etc.,and applied to verification problem.On the other hand,it is not easy to describe processes or understand these applications.As a clue to solve the problem,this paper proposes synthesis algorithm of algebraic process using the enumeration of facts,which must be satisfied by the process.We adopt μ-calculus to represent facts of a process.However it is too difficult to synthesize a process from formulae with any operators of μ-calculus.To simplify the problem,we exclude V and μ operators.The validity of the proposed algorithm can be stated that it synthesizes a process in the limit,which cannot be distinguished from the target one under the above restriction. |
キーワード(和) | μ-calculus / CCS / プロセス代数 / 帰納推論 |
キーワード(英) | μ-calculus / CCS / process algebra / inductive inference |
資料番号 | COMP93-86,SS93-54 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 1994/3/9(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | JPN |
タイトル(和) | μ-calculusによる再帰プロセスの合成 |
サブタイトル(和) | |
タイトル(英) | Synthesis Algorithm for Recursive Processes by μ-calculus |
サブタイトル(和) | |
キーワード(1)(和/英) | μ-calculus / μ-calculus |
キーワード(2)(和/英) | CCS / CCS |
キーワード(3)(和/英) | プロセス代数 / process algebra |
キーワード(4)(和/英) | 帰納推論 / inductive inference |
第 1 著者 氏名(和/英) | 木村 成伴 / Shigetomo Kimura |
第 1 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
第 2 著者 氏名(和/英) | 富樫 敦 / Atsushi Togashi |
第 2 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
第 3 著者 氏名(和/英) | 白鳥 則郎 / Norio Shiratori |
第 3 著者 所属(和/英) | 東北大学電気通信研究所 Research Institute of Electrical Communication,Tohoku University |
発表年月日 | 1994/3/9 |
資料番号 | COMP93-86,SS93-54 |
巻番号(vol) | vol.93 |
号番号(no) | 496 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |