Avaliação de arquiteturas many-core e aplicações paralelas utilizando análise formal de conceitos - Carmo, Daniel de Araújo Santos (2018)