Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. - Edwin Monteiro 001; Kelvinn Pereira; Raimundo S. Barreto (ICCS (7), 2020)