Theory and applications of models of computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009; proceedings (Springer, 2009)