Title: | more on weak bisimilarity of normed basic parallel processes |
Author: | Chen Haiyan
|
Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Conference Name: | 5th International Conference on Theory and Applications of Models of Computation
|
Conference Date: | APR 25-29,
|
Issued Date: | 2008
|
Conference Place: | Xian, PEOPLES R CHINA
|
Publisher: | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
|
Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
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.
|
Sponsorship: | Xidian Univ, Inst Comp Theory & Technol
|
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 |
Content Type: | 会议论文
|
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,.
|
|
|