Markov nets: probabilistic models for distributed and concurrent systems.
Albert BenvenisteEric FabreStefan HaarPublished in: CDC (2001)
Keyphrases
- concurrent systems
- distributed systems
- probabilistic model
- temporal logic
- process algebra
- graphical models
- distributed environment
- expectation maximization
- petri net
- model checking
- transition systems
- formal specification
- bayesian inference
- fault tolerant
- generative model
- communication cost
- cooperative
- multi agent
- lightweight
- language model
- markov model
- semi markov
- mobile agents
- computer networks
- computing environments
- pairwise
- information systems