Teoria do Tempo da Lógica do Núcleo do Software de Energia K