Fair Termination for Parameterized Probabilistic Concurrent Systems.
Ondrej LengálAnthony Widjaja LinRupak MajumdarPhilipp RümmerPublished in: TACAS (1) (2017)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- model checking
- transition systems
- petri net
- formal specification
- bayesian networks
- uncertain data
- open source
- probabilistic model
- probability distribution
- probabilistic reasoning
- type checking
- rewrite systems
- data sets
- probabilistic logic
- programming environment
- posterior probability
- information theoretic
- information systems