A formal description of self-controlling software based on pi-calculus.

Guoyou Zhang, Yin-Zhang Guo

Browse the full SMC paper archive.