Behavioural equivalences of a probabilistic pi-calculus.
https://doi.org/10.1007/s11432-012-4660-1
@article{DBLP:journals/chinaf/ChenCW12,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang},
title = {Behavioural equivalences of a probabilistic pi-calculus},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {9},
pages = {2031--2043},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4660-1},
doi = {10.1007/s11432-012-4660-1},
timestamp = {Mon, 02 Mar 2020 16:31:18 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/ChenCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签