Models of computation
Concurrency
Diagrams
Petri net
Software engineering
Symbol
Model checking
Theoretical computer science
Metaphor