中文会议： 计算机专题学术会议论文集

会议地点： 重庆

主办单位： 中国计算机学会

出版方 ： 中国计算机学会

出版地： 北京

作　　者： ; ; ;

机构地区： 重庆大学

出　　处： 《1998年计算机专题学术会议》

摘　　要： 基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法，其典型代表分别是转换系统和时态逻辑，该文首先阐述并剖析这两种方法，然后基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架，引入一种将两者相结合的形式化描述方法。

关 键 词： 时态逻辑 转换系统 扩充状态转换模型

分 类 号： [TP302.2 ]

领　　域： [自动化与计算机技术] [自动化与计算机技术]