Benevides, M., & 		Lima, I.
(2020).
Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions.
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 25-32). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11455