ePrints

Modelling and Verifying BDI Agents with Bigraphs.

Lookup NU author(s): Dr Mengwei XuORCiD

Downloads

The full text of this item is currently under embargo and cannot be made publicly available until after publication.

Publication metadata

Author(s): Archibald B, Calder M, Sevegnani M, Xu M

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2021

Volume: 215

Print publication date: 01/03/2022

Online publication date: 03/12/2021

Acceptance date: 29/11/2021

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV

URL: https://doi.org/10.1016/j.scico.2021.102760

DOI: 10.1016/j.scico.2021.102760

Altmetrics

Share