Barbara Dunin-Keplicz, Jan Treur. Compositional Formal Specification of Multi-Agent Systems. In Michael Wooldridge, Nicholas R. Jennings, editors, Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings. Volume 890 of Lecture Notes in Computer Science, pages 102-117, Springer, 1994.
Abstract is missing.