Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie Huibiao Zhu Xi Wu Shuangqing Xiang Jian Guo Phan Cong Vinh

Published in: Mob. Networks Appl. (2017)

Keyphrases

process algebra
model checking
concurrent systems
asynchronous circuits
temporal logic
formal specification
formal methods
communication protocols
web services composition
concurrent programs