A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.


https://doi.org/10.1093/comjnl/bxn006
@article{DBLP:journals/cj/Cao10, author = {Yongzhi Cao}, title = {A Hierarchy of Behavioral Equivalences in the {\(\pi\)}-calculus with Noisy Channels}, journal = {Comput. J.}, volume = {53}, number = {1}, pages = {3--20}, year = {2010}, url = {https://doi.org/10.1093/comjnl/bxn006}, doi = {10.1093/comjnl/bxn006}, timestamp = {Sat, 20 May 2017 00:22:27 +0200}, biburl = {https://dblp.org/rec/journals/cj/Cao10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
作者: Yongzhi Cao

本页面没有标签
本页面最近更新:2020/05/21更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面的全部内容在 CC BY-SA 4.0 SATA 协议之条款下提供,附加条款亦可能应用

Copyright © 2016 - 2020 PKU Scholar

最近更新: 52aade4, 2020-05-21