Mukund, M. Transition System Models for Concurrency. DPB 1992, 21.