Introduction to Probabilistic Concurrent Systems.
Samy AbbesPublished in: Fundam. Informaticae (2022)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- transition systems
- bayesian networks
- petri net
- generative model
- probabilistic model
- formal specification
- model checking
- data driven
- probabilistic logic
- real time
- belief networks
- uncertain data
- software systems
- probability distribution
- artificial intelligence
- genetic algorithm
- data mining
- database