de Silva, L. An Operational Semantics for True Concurrency in BDI Agent Systems. AAAI 2020, 34, 7119-7126.