C. Clausen

M. Nielsen and C. Clausen. Games and logics for a noninterleaving bisimulation. Nordic Journal of Computing, 2(2):221-249, Summer 1995. Abstract, References, etc.