| 題名: | A faster parallel implementation of the kanellakis-smolka algorithm for bisimilarity checking |
| 作者: | Jeong, Cheoljoo Kim, Youngchan Oh, Youngbae |
| 期刊名/會議名稱: | 1998 ICS會議 |
| 摘要: | Bisimulation equivalence is one of the most important equivalence relations that capture the notion of behavioral equivalence of concurrent systems. In this paper we present a randomized parallel implementation of the Kanellakis-Smolka algorithm that tests the bisimilarity of two finite CCS specificationis in O(n) time with O(n2)CRCW processors. |
| 日期: | 2006-10-17T08:15:38Z |
| 分類: | 1998年 ICS 國際計算機會議 |
文件中的檔案：
| 檔案 | 描述 | 大小 | 格式 | |
|---|---|---|---|---|
| ce07ics001998000031.pdf | 435.98 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。