首页> 外文会议>International Conference in Application and Theory of Petri Nets and Concurrency >Deterministic Concurrent Systems

【24h】

Deterministic Concurrent Systems

机译：确定性化并发系统

获取原文

页面导航

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

摘要

Deterministic concurrent system are "locally commutative" concurrent systems. We characterise these systems by means of their combinatorial properties.

机译：确定性并发系统是“本地交换”并发系统。我们通过组合属性表征这些系统。

著录项

来源
《International Conference in Application and Theory of Petri Nets and Concurrency 》|2021年|423-442|共20页
会议地点
作者
Samy Abbes;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Trace monoid; Moebius transform; Concurrency; Lattice;

机译：痕量痕;Moebius变换;并发;格子;

相似文献

外文文献
中文文献
专利

1. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Tanakorn Leesatapornwongsa, Shan Lu, Jeffrey F. Lukman, Computer architecture news . 2016 ,第2期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
2. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Leesatapornwongsa Tanakorn, Lukman Jeffrey F., Lu Shan, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016 ,第4期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
3. Concurrent deterministic 1-2 skip list in distributed message passing systems [J] . Ramesh Singh, Sandip Chakraborty, Sushanta Karmakar Parallel Algorithms and Applications . 2015 ,第1a2期

机译：分布式消息传递系统中的并发确定性1-2跳过列表
4. Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores [C] . Zhongmiao Li, Paolo Romano, Peter Van Roy Annual IEEE/IFIP International Conference on Dependable Systems and Networks . 2019

机译：闪耀：部分复制的事务存储的推测性确定性并发控制
5. Integrating concurrency control and proxy execution support and provide a framework for deterministic concurrency testing under the KURT-Linux group scheduling model. [D] . Aswathanarayana, Tejasvi. 2006

机译：集成了并发控制和代理执行支持，并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
6. A deterministic approach for design of supervisory control of LPV systems with delay [O] . Ch. Nauman Zahid, Mina Salim, Raja Ali Riaz, 2021

机译：延迟LPV系统监督控制的确定性方法
7. Deterministic Concurrent Systems [O] . Samy Abbes 2021

机译：确定性并发系统

Deterministic Concurrent Systems

摘要

著录项

相似文献

相关主题

期刊订阅