Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999.
Sabina PetridePublished in: SIGACT News (2004)
Keyphrases
- real time systems
- constraint satisfaction problems
- real time
- distributed systems
- embedded systems
- constraint satisfaction
- constraint programming
- timing constraints
- object oriented programming language
- decomposition methods
- real time database systems
- mission critical
- anytime algorithms
- architectural model
- embedded real time systems
- np hard
- search algorithm