Process Algebra and Markov Chains.
Ed BrinksmaHolger HermannsPublished in: European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Keyphrases
- markov chain
- process algebra
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- steady state
- transition probabilities
- concurrent programs
- finite state
- state space
- markov process
- stochastic process
- petri net
- markov model
- random walk
- stationary distribution
- temporal logic
- distributed systems
- markov processes
- reverse engineering
- probabilistic automata
- formal languages
- transition matrix
- service composition
- markov models
- programming environment
- machine learning
- artificial intelligence