| A Modal Characterization of λ-Bisimilarity |
| |
| 作者姓名： | Jinjin Zhang Zhaohui Zhu |
| |
| 作者单位： | Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;State Key Lab for Novel Software Technology, Nanjing University, Nanjing 210093, China |
| |
| 基金项目： | This work is supported by the National Natural Science Foundation of China (Nos. 60496327,60573070), the NSF of Jiangsu Province of China (No. BK2007191) and Fok Ying-Tung Education Foundation. |
| |
| 摘 要： | In order to describe approximate equivalence among processes, a notion of λ-bisimilarity has been introduced in the field of process algebra. In this paper, we provide a modal characterization of λ- bisimilarity without the assumption that the metric is an ultra-metric or λ = 0, which is a generalization of one obtained by [M. Ying, Theoret. Comput.Sci., Vol. 275, 1{68].
|
| 关 键 词： | process algebra Hennessy-Milner logical characterization λ-bisimilarity |
| 收稿时间： | 2007-09-25 |
| 修稿时间： | 2007-12-08 |
|
| 点击此处可从《International Journal of Software and Informatics》浏览原始摘要信息 |
|
点击此处可从《International Journal of Software and Informatics》下载免费的PDF全文 |
|
