Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
The description of the process model consists of the concurrent and dependent relationships of activities, activity firing conditions, event sequences and document management.
该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。
The tokens PPV can be run as concurrent conditional access mode to standard subscription, Event PPV or NVOD PPV.
令牌PPV可以在并发有条件接入模式下运行标准订购、事件PPV或NVOD PPV。
But concurrent pushdown systems simulate concurrency by global variables, which are not able to model event-drive concurrent programs.
但是并发下推系统以全局变量模拟同步，不适应于当前广泛使用的基于事件驱动的并发程序。
GCS and GES are designed to be resilient in the event of multiple concurrent node failures.
GCS和GES被设计来在多个并行节点的失败情况下恢复。
GCS and GES are designed to be resilient in the event of multiple concurrent node failures.
GCS和GES被设计来在多个并行节点的失败情况下恢复。
应用推荐