Modeling and evaluating IaaS cloud using performance evaluation process algebra.

Jie Ding Leijie Sha Xiao Chen

Published in: APCC (2016)

Keyphrases

cloud computing
process algebra
formal specification
asynchronous circuits
concurrent systems
data center
model checking
general purpose
artificial intelligence
temporal logic
formal methods
virtual machine
databases
communication protocols
knowledge based systems
data management
case study
concurrent programs