Parallel product of event structures
I. Castellani and Guo Qiang Zhang, Theoretical Computer Science 179:203-215 (1997).

Abstract
The natural parallel product construction proposed by Boudol and Castellani on flow event structures is not a categorical one. This paper presents a subclass of flow event structures for which this construction is a categorical product. This class of flow event structures turns out to be rich enough for modelling CCS like languages.

[ Postscript ]


Ilaria Castellani
Last modified: Fri Dec 17 17:34:24 MET 1999