Springer
Lecture Notes in Artificial Intelligence
International Workshop on Declarative Agent Languages and Technologies
Computer Security

Astefanoaei, L., de Boer, F., & Dastani, M. (2010). The Refinement of Choreographed Multi-Agent Systems. In Proceedings of International Workshop on Declarative Agent Languages and Technologies (DALT) (9) (pp. 20–34). Springer.