Coordinating action systems. - Eric J. Hedman; Joost N. Kok; Kaisa Sere (Theor. Comput. Sci., 2000)