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