MU-CALCULUS

作品数：2被引量：6H指数：1
导出分析报告
相关期刊：《Journal of Computer Science & Technology》《Tsinghua Science and Technology》更多>>
相关基金：中国科学院科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
An Axiom System of Probabilistic Mu-Calculus
《Tsinghua Science and Technology》2022年第2期372-385,共14页Wanwei Liu Junnan Xu David N.Jansen Andrea Turrini Lijun Zhang 
supported by the National Science Foundation of China(No.61872371);the National Science Foundation of China(Nos.61761136011 and 61836005);the Open Fund from the State Key Laboratory of High Performance Computing of China(HPCL)(No.2020001-07);the National Key Research and Development Program of China(No.2018YFB0204301);supported by the Guangdong Science and Technology(No.2018B010107004)。
Mu-calculus(a.k.a.μTL)is built up from modal/dynamic logic via adding the least fixpoint operatorμ.This type of logic has attracted increasing attention since Kozen’s seminal work.PμTL is a succinct probabilistic ...
关键词：PμTL axiom system aconjunctive formula tableau approach 
Predicate μ-Calculus for Mobile Ambients被引量：6
《Journal of Computer Science & Technology》2005年第1期95-104,共10页Hui-MinLin 
国家自然科学基金，中国科学院资助项目
Ambient logics have been proposed to describe properties for mobile agentswhich may evolve over time as well as space. This paper takes a predicate-based approach toextending an ambient logic with recursion, yielding ...
关键词：model checking mobile ambients spatial logic MU-CALCULUS fixpoints 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部