The Refinement of Choreographed Multi-Agent Systems

DOI10.1007/978-3-642-11355-0_2MaRDI QIDQ3402237zbMATH OpenOpenAlexFDO

Authors Lăcrămioara Aştefănoaei, Mehdi Dastani, Frank S. de Boer

Publication date 2 February 2010

Published in Declarative Agent Languages and Technologies VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11355-0_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• The refinement of multi-agent systems
• A Refinement Framework for Autonomous Agents
• Multiagent systems. Introduction and coordination control
• A multi-facet approach to dynamic agent systems
• scientific article; zbMATH DE number 1629877
• scientific article; zbMATH DE number 2090904
• Coordination and reorganization in multi-agents systems. II.

Cited in

(2)

• The refinement of multi-agent systems
• A Refinement Framework for Autonomous Agents

Describes a project that uses

Uses Software

• Maude

This page was built for publication: The Refinement of Choreographed Multi-Agent Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3402237)