publicações selecionadas artigo de conferência Automatic and Dynamic Visualization of Process-Based Concurrent Programs 2024 teses ForkSim: animation of programs to support the learning of concurrent programming 2024