ニシザワ コウキ   Nishizawa Koki
  西澤 弘毅
   所属   神奈川大学  工学部 情報システム創成学科
    神奈川大学大学院  工学研究科 工学専攻(情報システム創成領域)
   職種   准教授
言語種別 日本語
発行・発表の年月 2007/09
形態種別 その他
標題 min-plus 代数 N∞ 上の様相μ計算とその応用
執筆形態 共著
掲載誌名 日本ソフトウェア科学会24回大会予稿集(CD-ROM)
掲載区分国内
著者・共著者 五十嵐大, 田辺良則, 西澤弘毅, 萩谷昌己
概要 自然数全体の集合に無限大∞を加えたmin-plus 代数N∞ を用いて様相μ 計算の解釈を与える.選言はminによって解釈され,連言はplus によって解釈される.この解釈を用いることにより,クリプキ構造上の最短経路や,条件をみたす状態数などを簡潔に表現することができる.