Yang Liu 0003 Jun Pang Jun Sun 0001 Jianhua Zhao Verification of Population Ring Protocols in PAT. 81-89 2009 TASE http://dx.doi.org/10.1109/TASE.2009.51 conf/tase/2009 db/conf/tase/tase2009.html#LiuPSZ09