Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings - Mitsunori Ogihara, Jun Tarui ((Lecture Notes in Computer Science))