Specifying Message Passing Systems Requires Extending Temporal Logic.
Ron KoymansPublished in: PODC (1987)
Keyphrases
- message passing
- temporal logic
- distributed systems
- model checking
- distributed shared memory
- belief propagation
- reactive systems
- modal logic
- probabilistic inference
- approximate inference
- shared memory
- verification method
- markov random field
- sum product
- dynamic constraints
- higher order
- bounded model checking
- temporal knowledge
- mazurkiewicz traces