Formalizing a Hierarchical File System
- 作者Wim H. Hesselink; M.I. Lali
- 卷第259卷
- 印刷ISSN1571-0661
- 文件大小333.46KB
- 发表时间2009
- DOI10.1016/j.entcs.2009.12.018
- 页码67-85
同作者推荐
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