Combining Model Reductions
- 作者Ferdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov
- 卷第265卷
- 印刷ISSN1571-0661
- 文件大小565.65KB
- 发表时间2010
- DOI10.1016/j.entcs.2010.08.006
- 页码73-96
同作者推荐
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