Reasoning About Probabilistic Behavior in Concurrent Systems.
S. PurushothamanP. A. SubrahmanyamPublished in: IEEE Trans. Software Eng. (1987)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- transition systems
- process algebra
- formal specification
- probabilistic knowledge
- petri net
- probabilistic model
- model checking
- generative model
- uncertain data
- spatial reasoning
- behavior patterns
- probabilistic logic
- qualitative simulation
- data driven
- posterior probability
- fine grained
- bayesian networks