Topological models of concurrency - Lopes, Rodrigo Marques (2024)