Predicate μ-calculus for mobile ambients
文献类型:期刊论文
作者 | Lin Huimin |
刊名 | Springer New York LLC
![]() |
出版日期 | 2005 |
卷号 | 20期号:1页码:95-104 |
关键词 | model checking mobile ambients spatial logic mu-calculus fixpoints |
通讯作者 | Lin, HM (通讯作者), Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China |
收录类别 | EI,SCI |
公开日期 | 2010-08-24 |
附注 | Ambient logics have been proposed to describe properties for mobile agents which may evolve over time as well as space. This paper takes a predicate-based approach to extending an ambient logic with recursion, yielding a predicate mu-calculus in which fixpoint formulas are formed using predicate variables. An algorithm is developed for model checking finite-control mobile ambients against formulas of the logic, providing the first decidability result for model checking a spatial logic with recursion. |
源URL | [http://124.16.136.157/handle/311060/4464] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | Lin Huimin. Predicate μ-calculus for mobile ambients[J]. Springer New York LLC,2005,20(1):95-104. |
APA | Lin Huimin.(2005).Predicate μ-calculus for mobile ambients.Springer New York LLC,20(1),95-104. |
MLA | Lin Huimin."Predicate μ-calculus for mobile ambients".Springer New York LLC 20.1(2005):95-104. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。