We propose notions and measures for the formalization and quantification of emergent properties in computing agent networks. Self-organization, homeostasis, autopoiesis and patterns are studied as emergent properties. Formal mathematic models for these emergent properties are developed with aspects related to equilibrium, self-production, order and topological indicators. The formality of the proposed representation can help in the better understanding of emergent properties in complex systems