| A Modal Characterization of λ-Bisimilarity |
| Received:September 25, 2007 Revised:December 08, 2007 Download PDF |
| Jinjin Zhang,Zhaohui Zhu. A Modal Characterization of λ-Bisimilarity. International Journal of Software and Informatics, 2007,1(1):85~99 |
| Hits: 4946 |
| Download times: 2801 |
| Jinjin Zhang Zhaohui Zhu |
|
| Fund: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. |
|
| Abstract: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]. |
| keywords:process algebra Hennessy-Milner logical characterization λ-bisimilarity |
| View Full Text View/Add Comment Download reader |
|
|
|
