Benevides, Mario, and Isaque Macalam Saab Lima.
"Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.25-32.