A formal description of self-controlling software based on pi-calculus. - Guoyou Zhang; Yin-Zhang Guo (SMC (7), 2004)