Keyphrases
- real time systems
- partial order
- partially ordered
- total order
- real time
- distributed systems
- partial ordering
- embedded systems
- stable marriage
- lattice structure
- model checking
- real time database systems
- object oriented programming language
- timing constraints
- mission critical
- special case
- architectural model
- totally ordered
- high dimensional
- decision making