Parallel Product of Event Structures

Abstract

The parallel product operator may be defined very easily on flow event structures. We show that, for flow event structures satisfying a particular constraint, which is preserved by ususal process operators, this product may be characterised as a categorical product.