Castellani, I., & Zhang, G. Q. (1989). Parallel Product of Event Structures. DAIMI Report Series, 18(285). https://doi.org/10.7146/dpb.v18i285.6663