π計算のfairなtestingによる等価性判別

• Item type: SIG Technical Reports(1)
• 公開日: 1997-03-28
• タイトル: π計算のfairなtestingによる等価性判別
• タイトル / 言語: en
• タイトル: Checking equivalence for π - calculus with fair testing
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 岡山大学工学部情報工学科
• 著者所属: 岡山大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Information Technology Faculty of Engineering Okayama University
• 著者所属(英): en
• 著者所属(英): Department of Information Technology Faculty of Engineering Okayama University
• 著者名: 峰久, 美香; 村上, 昌己
• 著者名(英): Mika, Minehisa; Masaki, Murakami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，プロセス代数，特に，π計算の研究が盛んである．このπ計算を用いて，モーバイルプロセスの性質を数学的に議論，検証する方法についての研究が進められている．モーバイルプロセスの上に合同な関係を導入する試みとして，s?mustテストが提案された[Kuro96]．しかし，[Kuro96]のs?must試験等価性は公平さが保証された実行を行った場合区別すべきプロセスが，区別できないという問題がある．ところで，モーバイルでないプロセスについて，同様な問題を解決するために，shouldテストが提案されている[Bri95]．そこで本稿では，s?mustテストにshouldテストの概念を導入して，モーバイルプロセスでのs?shouldテストを提案する．その結果，s?shouldテストは求められた性質を持つことが示される．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Recently, process algebra, especially π-calculus has a lot of attention. Mat11ematical techniques to verify the properties of mobile processes are studied using the π-calculus. S-must testing is proposed[Kuro96] to define a congruent relation over mobile processes. But, s-must testing equivalence can't distinguish processes which we must distinguish, when we assume fair execution of the processes. On the other hand, should testing[Bri95] is proposed to avoid this problem for non-mobile processes. This paper presents s-should testing for mobile processes applying the notion of should testing to the s-must testing. As a result, we show that the s-should testing has desired properties.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1997, 号 32(1996-PRO-012), p. 15-20, 発行日 1997-03-28
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会