Common computation models:
Statements, rules for composing statements, semantics for executing them
Multiple sequential programs running concurrently
For control dominated systems, monitors control inputs, sets control outputs
For data dominated systems, transforms input data streams into output streams
For breaking complex software into simpler, well-defined pieces