Block-structured stochastic process algebra and its applications to queueing systems.
Yajuan LiChuang LinQuan-Lin LiZhiguang ShanPublished in: IEE Proc. Softw. (2006)
Keyphrases
- queueing systems
- process algebra
- markov processes
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- stochastic control
- formal methods
- arrival rate
- web services composition
- control problems
- queueing networks
- markov process
- communication protocols
- markov chain
- stochastic processes
- petri net
- distributed systems
- non stationary
- steady state
- learning algorithm
- queue length
- queueing model
- single server
- machine learning
- stochastic model
- reverse engineering