Parallel Product of Event Structures
DOI:
https://doi.org/10.7146/dpb.v18i285.6663Resumé
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.Downloads
Publiceret
1989-09-01
Citation/Eksport
Castellani, I., & Zhang, G. Q. (1989). Parallel Product of Event Structures. DAIMI Report Series, 18(285). https://doi.org/10.7146/dpb.v18i285.6663
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.