摘要
基于文［１～３］，提出反应式系统并发描述的时态逻辑模型，并给出抽象计算模型的时态语义。
On the basis of [1,2,3],the author presents temporal logic models of reactice systems and deseribes temporal meaning of abstract (generic) model.
出处
《重庆师范学院学报（自然科学版）》
1998年第4期7-10,共4页
Journal of Chongqing Normal University(Natural Science Edition)
关键词
反应式系统
模态逻辑
时态逻辑
并发模型
reactive system, model logic, temporal logic, abstract computation model
