Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings - Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Springer Berlin Heidelberg : Imprint: Springer, 2013)