Jinjin Zhang

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Jinjin Zhang, Zhaohui Zhu: A Behavioural Pseudometric based on lambda-Bisimilarity. Electr. Notes Theor. Comput. Sci. 220(3): 115-127 (2008)

1 EE Jinjin Zhang, Zhaohui Zhu: Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. 206(8): 953-965 (2008)

2008
2	EE	Jinjin Zhang, Zhaohui Zhu: A Behavioural Pseudometric based on lambda-Bisimilarity. Electr. Notes Theor. Comput. Sci. 220(3): 115-127 (2008)
1	EE	Jinjin Zhang, Zhaohui Zhu: Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. 206(8): 953-965 (2008)

Coauthor Index