Nielsen, M.; Sassone, V.; Winskel, G. Relationships Between Models of Concurency. DPB 1993, 22.