Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Modeling and Verifying Web Services Choreography Using Process AlgebraJing Li, Jifeng He, Huibiao Zhu, Geguang Pu. sew 2007: 256-268 [doi] Verification of timed Erlang/OTP components using the process algebra mucrlQiang Guo, John Derrick. erlang 2007: 55-64 [doi]
The following publications are possibly variants of this publication: