Lingyun Luo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Lingyun Luo: Deciding Bisimilarity of Full BPA Processes Locally. ATVA 2008: 347-360

2006

1 EE Lingyun Luo: An Effective Coalgebraic Bisimulation Proof Method. Electr. Notes Theor. Comput. Sci. 164(1): 105-119 (2006)

2008
2	EE	Lingyun Luo: Deciding Bisimilarity of Full BPA Processes Locally. ATVA 2008: 347-360
2006
1	EE	Lingyun Luo: An Effective Coalgebraic Bisimulation Proof Method. Electr. Notes Theor. Comput. Sci. 164(1): 105-119 (2006)