中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。