All Stories

  1. Bigraphical Modelling and Design of Multi-Agent Systems
  2. Specification and verification of reconfigurable multi-agent system architectures