Model of Computation (MoC)

A MoC is a set of operational elements, called the semantics, that can be composed to describe the behaviour of an application or a system. The semantics of a MoC is usually back by mathematical models providing a base for analyses and optimizations of specified systems.