%0 Conference Paper %1 conf/aplas/LiuL02 %A Liu, Xinxin %A Li, Yongjian %B APLAS %D 2002 %K dblp %P 216-229 %T Bisimulation for Higher-Order Pi-calculus. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2002.html#LiuL02

@inproceedings{conf/aplas/LiuL02, added-at = {2004-06-01T00:00:00.000+0200}, author = {Liu, Xinxin and Li, Yongjian}, biburl = {https://www.bibsonomy.org/bibtex/2cd65aa9110dbef490a06a4e996576137/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2002}, date = {2004-06-01}, description = {dblp}, interhash = {f3367e85798ece877822608c0c2df82e}, intrahash = {cd65aa9110dbef490a06a4e996576137}, keywords = {dblp}, pages = {216-229}, timestamp = {2004-06-01T00:00:00.000+0200}, title = {Bisimulation for Higher-Order Pi-calculus.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2002.html#LiuL02}, year = 2002 }