Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型,非常适合于为进程代数提供一种具有可组合性的真并发语义。
2
The description of the process model consists of the concurrent and dependent relationships of activities, activity firing conditions, event sequences and document management.
该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。
3
The tokens PPV can be run as concurrent conditional access mode to standard subscription, Event PPV or NVOD PPV.