@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00127793,
 book = {全国大会講演論文集},
 issue = {ソフトウェア},
 month = {Mar},
 note = {有理数時間を扱うプログラム検証のための形式的体系であるenvelope systemを提示する。時刻で真理値の変化する命題の真理集合-解釈が真である時刻の集合-を考え、閉包概念を特殊化したenvelopeと呼ぶ集合演算子を定義した。これにより、プログラム検証を容易かつ厳密に遂行できるようになった。最後に、並行プログラム系についての基本的かつ高度な概念と問題点を持つDekkerの解の飢餓回避問題について検証した。},
 pages = {303--304},
 publisher = {情報処理学会},
 title = {時間の論理の束モデルを用いた並行プログラム系の検証},
 volume = {第50回},
 year = {1995}
}