基于时态逻辑的扩充状态转换模型

摘要：

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

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

作者: 张广泉 戎玫 沈一栋

作者单位: 师范学院 军医大学(重庆) 大学

会议类型: 国内会议

会议名称: 1998年计算机专题学术会议

会议地点: 重庆

会议语种:中文

页码: 46～49

在线出版日期: 1998-06-21（万方平台首次上网日期，不代表论文的发表时间）