Benevides, M., & 		Lima, I.
2020 ago 26.  Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :