Two Ways to Common Knowledge
- 作者Samuel Bucheli; Roman Kuznets; Thomas Studer
- 卷第262卷
- 印刷ISSN1571-0661
- 文件大小325.56KB
- 发表时间2010
- DOI10.1016/j.entcs.2010.04.007
- 页码83-98
同作者推荐
Probabilistic Barbed CongruenceYuxin Deng; Wenjie Du · 2007
On Mobility and CommunicationWenjie Du; Yuxin Deng · 2009
[IEEE 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Shanghai, China (2011.06.10-2011.06.12)] 2011 IEEE International Conference on Computer Science and Automation Engineering - A quasi-local algorithm for checking bisimilarityDu, Wenjie; Deng, Yuxin · 2011
[IEEE 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST) - Shanghai, TBD, China (2009.12.17-2009.12.19)] 2009 Fourth International Conference on Frontier of Computer Science and Technology - A Local Algorithm for Checking Probabilistic BisimilarityDeng, Yuxin; Du, Wenjie · 2009