Topological models of concurrency - Lopes, Rodrigo Marques (2024)
Dissertação de mestrado em Mathematics and Computation