Author:
Castellani Ilaria,Zhang Guo Qiang
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.
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Process synchronisation as fusion;Applied Categorical Structures;1996-12
2. Event structures, causal trees, and refinements;Lecture Notes in Computer Science;1990
3. Three equivalent semantics for CCS;Semantics of Systems of Concurrent Processes;1990