...允许该式成立,则称交织语义的进程代数;若不允许该式成立,则称该进 程代数为真并发语义的进程代数,如用事件结构(event structure)作为语义模型的进程代数.
基于648个网页-相关网页
填充了事件结构后,将它提交给警报api就很简单了。
Once the event structure is filled in, handing it to the alarm API is simple.
度量的距离函数是基于概率事件结构达到一致的最长因果集束链的长度。
The distance function of the metric is based on the length of the longest bundle chain in probabilistic event structures.
这样可以实现特定代理消息到Business Events所需的通用事件结构的转换。
This enables the transformation of the specific broker messages into the generic event structure required by Business Events.
应用推荐