Value-passing CCS with noisy channels.
https://doi.org/10.1016/j.tcs.2012.03.002
@article{DBLP:journals/tcs/HuangCWQ12,
author = {Shuqin Huang and
Yongzhi Cao and
Hanpin Wang and
Wanling Qu},
title = {Value-passing {CCS} with noisy channels},
journal = {Theor. Comput. Sci.},
volume = {433},
pages = {43--59},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.002},
doi = {10.1016/j.tcs.2012.03.002},
timestamp = {Sun, 28 May 2017 13:20:06 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HuangCWQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签