TVM est le moteur de bytecode concret d'une machine participante. Il exécute le bytecode Tolang et coordonne des processus concurrents au moyen de canaux et d'événements de communication.