Modeling and Verifying Spark on YARN Using Process Algebra.

Jiaqi Yin Huibiao Zhu Yuan Fei Yucheng Fang

Published in: HASE (2019)

Keyphrases

process algebra
model checking
formal specification
formal methods
concurrent systems
real time
social networks
general purpose
communication protocols
asynchronous circuits
concurrent programs