Computer science
Diagrams
Petri nets
Computing
Actor model
Finite-state machine
Petri
Markov chain
Parallel computing
Models of computation
Concurrency
Formal methods