Castellani, I.; Zhang, G. Q. Parallel Product of Event Structures. DPB 1989, 18.