Institutional Repository
| deciding bisimilarity of full bpa processes locally | |
| Luo Lingyun | |
| 2008 | |
| Conference Name | 6th International Symposium on Automated Technology for Verification and Analysis |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 347-360 |
| Conference Date | OCT 20-23, |
| Conference Place | Seoul, SOUTH KOREA |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-88386-9 |
| Department | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100190, Peoples R China. |
| English Abstract | We propose a tableau algorithm to decide bisimilarity of guarded normed and unnormed BPA processes, which is very intuitive and direct. It also has the advantage of helping us to show that the equational theory proposed by Huttel and Stirling |
| Sponsorship | Korean Inst. of Inf. Sci. and Eng. (SIGPL and Softw. Eng. Soc.); Korea University; Korea Advanced Institute of Science and Technology (KAIST); KAIST, Software Process Improvement Center; KAIST, Defense Software Research Center |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10558 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Luo Lingyun. deciding bisimilarity of full bpa processes locally[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS,2008:347-360. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| deciding bisimilarit（491KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment