This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interactions between the agents are crucial in determining the effectiveness of the system. Hence the adoption of an appropriate coordination mechanism is pivotal in the design of multi-agent system architectures. This paper does not focus on agent theory, rather on the development of an agent-oriented software engineering methodology, collaboration architectures and design patterns for collaboration.A catalog of coordination patterns inherent in multi-agent architectures is presented. Such patterns may be utilized in the architectural design stage of an agent-oriented software engineering methodology.

We study how a smashing Bousfield localization behaves under various equivariant functors. We show that the Real Johnson-Wilson theories E R (n) do not determine smashing localizations except when n = 0, and we establish a version of the chromatic convergence theorem for the L E R (n)chromatic tower. For G = C p n , we construct equivariant Johnson-Wilson theories E(J ) corresponding to thick tensor ideals J in G-spectra so that the E(J ) do determine smashing localizations. We show that induced localizations upgrade the available norms for an N∞-algebra, and we determine which new norms appear.

We prove that the genuine C 2 n C_{2^n} -spectrum N C 2 C 2 n M U R N_{C_{2}}^{C_{2^n}}MU_{\mathbb {R}} is cofree, for all n n . Our proof is a formal argument using chromatic hypercubes and the Slice Theorem of Hill, Hopkins, and Ravenel. We show that this gives a new proof of the Segal Conjecture for C 2 C_2 , independent of Lin’s theorem.

We prove that the genuineOur proof is a formal argument using chromatic hypercubes and the Slice Theorem of Hill, Hopkins, and Ravenel. We show that this gives a new proof of the Segal conjecture for C 2 , independent of Lin's theorem.