Modeling and Verifying HDFS Using Process Algebra
Crossref DOI link: https://doi.org/10.1007/s11036-017-0812-2
Published Online: 2017-02-16
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xie, Wanling
Zhu, Huibiao
Wu, Xi
Xiang, Shuangqing
Guo, Jian
Vinh, Phan Cong
License valid from 2017-02-16