conftrace_

true concurrency

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

bdi agent system (1) operational semantics (1) agent programming language (1) agent programming (1) multi-agent system (1) concurrent execution (1)

Papers

An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020