Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings - Ogihara, Mitsunori; Tarui, Jun (Springer Berlin Heidelberg : Imprint: Springer, 2011)