@inproceedings{DBLP:conf/tamc/Cao08,
author = {Zining Cao},
title = {A Logic for Distributed Higher Order pi-Calculus},
booktitle = {TAMC},
year = {2008},
pages = {351-363},
ee = {http://dx.doi.org/10.1007/978-3-540-79228-4_31},
crossref = {DBLP:conf/tamc/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tamc/2008,
editor = {Manindra Agrawal and
Ding-Zhu Du and
Zhenhua Duan and
Angsheng Li},
title = {Theory and Applications of Models of Computation, 5th International
Conference, TAMC 2008, Xi'an, China, April 25-29, 2008.
Proceedings},
booktitle = {TAMC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4978},
year = {2008},
isbn = {978-3-540-79227-7},
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
