摘要
给出并发系统性质的一种形式化描述方法———时态逻辑方法，其时间模型是离散的和线性的。
This paper presents a formal Method of describing the properities of concurrent system——linear temporal logic,and points out its applications to the specifications of concurrent programs.
出处
《重庆师范学院学报（自然科学版）》
1998年第1期11-14,共4页
Journal of Chongqing Normal University(Natural Science Edition)
基金
四川省教委青年科研基金
