Parallel Simulation of Digital Logic Circuits Using Message Passing via CSP as an Educational Tool. - Mario Rossainz López; Carmen Cerón-Garnica; Etelvina Archundia-Sierra; Ana Patricia Cervantes Márquez; David Carrasco-Limón; Bárbara Sánchez-Rinza (HCI-COLLAB, 2019)