[1]
L. de Silva, “An Operational Semantics for True Concurrency in BDI Agent Systems”, AAAI, vol. 34, no. 05, pp. 7119-7126, Apr. 2020.