| 题名: | more on weak bisimilarity of normed basic parallel processes |
| 作者: | Chen Haiyan
|
| 会议文集: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
| 会议名称: | 5th International Conference on Theory and Applications of Models of Computation
|
| 会议日期: | APR 25-29,
|
| 出版日期: | 2008
|
| 会议地点: | Xian, PEOPLES R CHINA
|
| 出版者: | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
|
| 出版地: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| 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.
|
| 主办者: | Xidian Univ, Inst Comp Theory & Technol
|
| 英文摘要: | 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 |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/10550
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| more on weak bisimilarity of normed basic parallel processes.pdf（475KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Chen Haiyan. more on weak bisimilarity of normed basic parallel processes[C]. 见:5th International Conference on Theory and Applications of Models of Computation. Xian, PEOPLES R CHINA. APR 25-29,.
|
|
|
