Markov nets: probabilistic models for distributed and concurrent systems.
Albert BenvenisteEric FabreStefan HaarPublished in: IEEE Trans. Autom. Control. (2003)
Keyphrases
- concurrent systems
- distributed systems
- probabilistic model
- process algebra
- distributed environment
- temporal logic
- graphical models
- markov chain
- generative model
- model checking
- peer to peer
- formal specification
- expectation maximization
- distributed data
- conditional random fields
- transition systems
- latent variables
- mobile agents
- language model
- petri net
- lightweight
- knowledge base