时态逻辑与并发程序

• 作者: 张广泉 戎玫
• 来源期刊: 重庆大学学报（自然科学版）
• 学科: 工学
• 关键词: 并发处理/时态逻辑 并发程序 公平转换系统 公平性 安全性 活性
• 年，卷（期）: 1999,（1）
• 页码范围: 47-50
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-582X.1999.01.009

摘要

分别阐述了基于Manna-Pnueli框架的命题线性时态逻辑PLTL和基于共享变量方式的并发程序(转换图)模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转换系统FTS相结合来描述并发程序及其性质(公平性、安全性及活性);指出了时态逻辑具备其它形式化方法(FSM、Petri网)所没有的一些优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	重庆大学计算机学院	2	14	2.0	2.0
2	戎玫	重庆大学计算机学院	1	3	1.0	1.0