Modeling and Verifying HDFS Using Process Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh. Modeling and Verifying HDFS Using Process Algebra. MONET, 22(2):318-331, 2017. [doi]

This author has not been identified. Look up 'Wanling Xie' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Xi Wu' in GoogleThis author has not been identified. Look up 'Shuangqing Xiang' in GoogleThis author has not been identified. Look up 'Jian Guo' in GoogleThis author has not been identified. Look up 'Phan Cong Vinh' in Google

runs on WebDSL