Specifying Message Passing Systems Requires Extending Temporal Logic.
Ron KoymansPublished in: Temporal Logic in Specification (1987)
Keyphrases
- message passing
- temporal logic
- distributed systems
- model checking
- belief propagation
- distributed shared memory
- approximate inference
- dynamic constraints
- modal logic
- reactive systems
- graphical models
- shared memory
- probabilistic inference
- belief revision
- transition systems
- bounded model checking
- computation tree logic
- search algorithm