Transient calculations on process algebra derived Markov chains.
Allan ClarkStephen GilmorePublished in: IET Softw. (2009)
Keyphrases
- markov chain
- steady state
- process algebra
- concurrent systems
- formal specification
- finite state
- transition probabilities
- random walk
- model checking
- asynchronous circuits
- markov process
- markov processes
- formal methods
- stationary distribution
- markov model
- stochastic process
- state space
- communication protocols
- web services composition
- probabilistic automata
- queueing networks
- concurrent programs
- transition matrix
- temporal logic