Institutional Repository
| more on weak bisimilarity of normed basic parallel processes | |
| Chen Haiyan | |
| 2008 | |
| 会议名称 | 5th International Conference on Theory and Applications of Models of Computation |
| 会议录名称 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| 页码 | 192-203 |
| 会议日期 | APR 25-29, |
| 会议地点 | Xian, PEOPLES R CHINA |
| 出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| 出版者 | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-79227-7 |
| 部门归属 | Chen, Haiyan Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| 摘要 | Deciding strong and weak bisimilarity of BPP are challenging because of the infinite nature of the state space of such processes. Deciding weak bisimilarity is harder since the usual decomposition property which-holds for strong bisimilarity f |
| 主办者 | Xidian Univ, Inst Comp Theory & Technol |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10550 |
| 专题 | 基础软件与系统重点实验室 |
| 推荐引用方式 GB/T 7714 | Chen Haiyan. more on weak bisimilarity of normed basic parallel processes[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS,2008:192-203. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| more on weak bisimil(475KB) | 开放获取 | -- | 请求全文 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [Chen Haiyan]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [Chen Haiyan]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [Chen Haiyan]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论