Automatic and Dynamic Visualization of Process-Based Concurrent Programs. - Daniel Augusto Rodrigues Farina; Rodrigo Campiolo; José Rufino; Maria João Varanda Pereira (SLATE, 2024)