From KernelCORE
A network of finite automata communicating through FIFO channels is used as the virtual machine, which means that a Kernel program is translated into such a network.