Separation of circulating tokens. - K. Ghosh Dastidar; T. Herman (Theor. Comput. Sci., 2011)