Compositional Specification of Parallel Components Using Circus
- 作者Francisco Heron de Carvalho-Junior; Rafael Dueire Lins
- 卷第260卷
- 印刷ISSN1571-0661
- 文件大小2219.48KB
- 发表时间2010
- DOI10.1016/j.entcs.2009.12.031
- 页码47-72
同作者推荐
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