Randomized Non-sequential Processes

机译：随机非顺序过程

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

A non-sequential, i.e. "true concurrency", semantics for randomized distributed algorithms is suggested. It is based on Petri nets and their branching processes. We introduce randomized Petri nets and their semantics, probabilistic branching processes. As a main result, we show that each probabilistic branching process defines a unique canonical probability space. Finally, we show that the non-sequential semantics differs from the classical sequential semantics, modelling a new adversary, called the distributed adversary.

机译：建议用于随机分布算法的非顺序语义，即“真正的并发”。它基于Petri网及其分支过程。我们介绍了随机的Petri网及其语义，概率分支过程。作为主要结果，我们证明了每个概率分支过程都定义了唯一的规范概率空间。最后，我们证明了非顺序语义不同于经典的顺序语义，它为新的对手建模，称为分布式对手。

著录项

来源
《12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark》|2001年|p.184-201|共18页
会议地点 Aalborg(DK);Aalborg(DK)
作者
Hagen Voelzer;
展开▼
作者单位

Software Verification Research Centre, The University of Queensland, Australia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Sequential and non-sequential acceptance sampling plans for autocorrelated processes using ARMA(p,q) models [J] . Aminzadeh MS Computational statistics . 2009,第1期

机译：使用ARMA（p，q）模型的自相关过程的顺序和非顺序验收抽样计划
2. Sequential and non-sequential acceptance sampling plans for autocorrelated processes using ARMA(p,q) models [J] . M. S. Aminzadeh Computational Statistics . 2009,第1期

机译：使用ARMA（p，q）模型的自相关过程的顺序和非顺序验收抽样计划
3. Short-term scheduling of non-sequential multipurpose batch processes with transfer and set-up times under various intermediate storage policies [J] . Park S, Kim JK Chemical Engineering Research & Design: Transactions of the Institution of Chemical Engineers . 2004,第A10期

机译：在各种中间存储策略下，具有转移和建立时间的非顺序多用途批处理的短期调度
4. Randomized Non-sequential Processes (Preliminary Version) [C] . Hagen Volzer International Conference on Concurrency Theory . 2001

机译：随机非连续过程（初步版）
5. Secret Key Establishment From Common Randomness Represented as Complex Correlated Random Processes: Practical Algorithms and Theoretical Limits [D] . Khalili Shoja, Mohammad R. 2018

机译：来自常见随机性的秘密密钥建立，表示复杂的随机过程：实用算法和理论限制
6. Bursting in cerebellar stellate cells induced by pharmacological agents: Non-sequential spike adding [O] . Saeed Farjami, Ryan P. D. Alexander, Derek Bowie, 2020

机译：在药理剂诱导的小脑星状细胞中爆裂：非连续尖峰添加
7. Notions of Realizable Non-Sequential Processes [O] . C. Fernandez, M. Nielsen, P.S. Thiagarajan 1986

机译：可实现的非连续过程的概念
8. Bases and Lattices in Non-Sequential Processes [R] . Fernandez, C. , Merceron, A. 1987

机译：非顺序过程中的基和格

Randomized Non-sequential Processes

摘要

著录项

相似文献

相关主题

期刊订阅