Modeling and Verifying Spark on YARN Using Process Algebra | IEEE Conference Publication | IEEE Xplore