Sign in
Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra.
Leijie Sha
Jie Ding
Xiao Chen
Xiaobin Zhang
Yun Zhang
Yishi Zhao
Published in:
CCBD (2015)
Keyphrases
</>
process algebra
concurrent systems
formal methods
cloud computing platform
cloud computing
model checking
asynchronous circuits
concurrent programs
formal specification
web services composition
machine learning
case study
computing resources