Philipp Meier, Martin Wirsing. Towards a Formal Specification for the AgentComponent. In Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich, editors, Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Volume 2975 of Lecture Notes in Computer Science, pages 175-188, Springer, 2003. [doi]
Abstract is missing.