de Silva, L. (2020) “An Operational Semantics for True Concurrency in BDI Agent Systems”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), pp. 7119-7126. doi: 10.1609/aaai.v34i05.6199.