Progress Report CS-R--8903. CWI Amsterdam, Centre for Mathematics and Computer Science, Dept. of Algorithmics & Architecture, March 1989.
Abstract: A simple, non-inductive construction is presented for parallel composition of prime event structures with binary conflict. It is shown that the construction determines the same operation as the categorical construction of Winskel by proving that it is a product in the category of prime event structures with binary conflict.
Keywords: parallel composition; prime event structure; conflict, binary; product (in) category.