中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共7条，第1-7条 帮助

条数/页： 排序方式：
predicate mu-calculus for mobile ambients 期刊论文  OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 95-104
Lin HM
  |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28
deriving non-determinism from conjunction and disjunction 会议论文  OAI收割
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Zhan NJ; Majster-Cederbaum M
  |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/28
Predicate μ-calculus for mobile ambients 期刊论文  OAI收割
Springer New York LLC, 2005, 卷号: 20, 期号: 1, 页码: 95-104
Lin Huimin
  |  收藏  |  浏览/下载：11/0  |  提交时间：2010/08/24
model checking real-time value-passing systems 期刊论文  OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 4, 页码: 459-471
Chen J; Cao ZN
  |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29
a predicate spatial logic for mobile processes 期刊论文  OAI收割
Science in China Series F-information Sciences, 2004, 卷号: 47, 期号: 3, 页码: 394-408
Lin Huimin
  |  收藏  |  浏览/下载：18/0  |  提交时间：2010/08/24
A graphical μ-calculus and local model checking 期刊论文  OAI收割
Allerton Press Inc., 2002, 卷号: 17, 期号: 6, 页码: 665-671
Lin Huimin
  |  收藏  |  浏览/下载：14/0  |  提交时间：2010/08/24
model checking value-passing processes 会议论文  OAI收割
8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07,
Lin HM
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/29