Institutional Repository
| more on weak bisimilarity of normed basic parallel processes | |
| Chen Haiyan | |
| 2008 | |
| Conference Name | 5th International Conference on Theory and Applications of Models of Computation |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 192-203 |
| Conference Date | APR 25-29, |
| Conference Place | Xian, PEOPLES R CHINA |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-79227-7 |
| Department | Chen, Haiyan Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | 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 |
| Sponsorship | Xidian Univ, Inst Comp Theory & Technol |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10550 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| more on weak bisimil（475KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment