%0 Journal Article %1 journals/corr/abs-1212-6183 %A Deng, Xiaojie %A Zhang, Yu %A Deng, Yuxin %A Zhong, Farong %D 2012 %J CoRR %K dblp %T The Buffered π-Calculus: A Model for Concurrent Languages %U http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-6183 %V abs/1212.6183

@article{journals/corr/abs-1212-6183, added-at = {2018-08-13T00:00:00.000+0200}, author = {Deng, Xiaojie and Zhang, Yu and Deng, Yuxin and Zhong, Farong}, biburl = {https://www.bibsonomy.org/bibtex/2b6b42d52ae5a845dd82c7b1dd457f808/dblp}, ee = {http://arxiv.org/abs/1212.6183}, interhash = {4e043944dda7c0c065fd5d66de9b0542}, intrahash = {b6b42d52ae5a845dd82c7b1dd457f808}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:20:35.000+0200}, title = {The Buffered π-Calculus: A Model for Concurrent Languages}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-6183}, volume = {abs/1212.6183}, year = 2012 }