著者

桜川貴司 Takashi Sakuragawa 京都大学数理解析研究所

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.4, no.3, pp.15-27, 1987

被引用文献数

1

---

Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.