@inproceedings{DBLP:conf/aplas/LiuL02,
author = {Xinxin Liu and
Yongjian Li},
title = {Bisimulation for Higher-Order Pi-calculus},
booktitle = {APLAS},
year = {2002},
pages = {216-229},
crossref = {DBLP:conf/aplas/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2002,
title = {The Third Asian Workshop on Programming Languages and Systems,
APLAS'02, Shanghai Jiao Tong University, Shanghai, China,
November 29 - December 1, 2002, Proceedings},
booktitle = {APLAS},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
