Bounded Retransmission in Event-B∥CSP: a Case Study.
Steve A. SchneiderHelen TreharneHeike WehrheimPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- constraint satisfaction problems
- event detection
- case study
- constraint propagation
- event recognition
- decomposition methods
- constraint satisfaction
- arc consistency
- events occurring
- np complete
- temporal patterns
- channel coding
- event sequences
- event driven
- temporal relations
- data transmission
- data sets
- test bed
- np hard
- neural network