Formalization of emergence in multi-agent systems. - Yong Meng Teo; Ba Linh Luong; Claudia Szabo (SIGSIM-PADS, 2013)