Models of computation
Concurrency
Petri net
Synchronization
Process calculus
Transition system
Computing
Abstraction
Metaphor
Timed automaton