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: 4583
Download times: 2397
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



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号