時相論理を用いた試験等価性の特性化

スポンサーリンク

概要

論文の詳細を見る
遷移システムを形式的に取り扱うための数学的手法としてプロセス計算がある。プロセス計算では様々な等価性を定義することによって, プロセス式が持つ特定の性質を調べることができる。そのような等価性の一つとして, 試験等価性がある。試験等価性は, 通信を行うことを前提とした等価性で, 試験者と呼ばれる特別なプロセス式と通信を行い, その合否判定によって等価性が定義される。これまでに, それぞれの等価性が持つ本質的な概念を明らかにすることを目的に, 等価性の判定問題から論理の同値性判定への還元が行われてきた。そこで, 本論文ではこれまでに試みられていない試験等価性の論理による特性化を行う。ここで提案する論理の特徴は, until演算子を用いることにより, 直観的にかわりやすいモデルを構成することができる点にある。また, 試験等価性と同等な失敗等価性とここで構成した論理式との関係についても言及する。
一般社団法人情報処理学会の論文
1997-09-24

著者

関連論文

もっと見る

スポンサーリンク