广义可能性互模拟及其逻辑刻画

• 作者: 张兴兴 李永明 邓楠轶 马占有
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 广义可能性测度 可能性互模拟 计算树逻辑
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 951-957
• 页数: 7页
• 分类号: TP301
• 字数: 7186字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.05.015

摘要

首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义.在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质.最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	马占有	陕西师范大学计算机科学学院	5	3	1.0	1.0
3	张兴兴	陕西师范大学计算机科学学院	2	1	1.0	1.0
4	邓楠轶	陕西师范大学计算机科学学院	2	1	1.0	1.0