Parallel Product of Event Structures
Open Access
- 1 September 1989
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in DAIMI Report Series
- Vol. 18 (285)
- https://doi.org/10.7146/dpb.v18i285.6663
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.Keywords
This publication has 0 references indexed in Scilit: