A simple definition for parallel composition of prime event structures
A simple definition for parallel composition of prime event structures
复制标题
主要事件结构并行组合的简单定义
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
F. Vaandrager
中科院分区：
文献类型：
--
作者：
F. Vaandrager
提出了一种简单的、非归纳的二元冲突素事件结构的并行合成方法。通过证明它是二元冲突的素事件结构范畴的积，证明了它决定了与W1NSKEL（6）的范畴结构相同的运算.
A simple, non-inductive construction is presented for parallel composition of prime event structures with binary conflict. It is shown that the construction determines the same operation as the categorical con struction of W1NSKEL (6] by proving that it is a product in the category of prime event structures with binary conflict.