Model of computation

Mathematical model describing how an output of a function is computed given an input

Models of computation can be classified into three categories: sequential models, functional models, and concurrent models.