会员服务
不可约的 · 离散数学 ·
2021 年 3 月 17 日
Deterministic concurrent systems
翻译：确定性并行系统
Samy Abbes
Samy Abbes
from arxiv, 20 pages, 1 table, 6 figures, 13 bibliographical references

We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.


翻译：我们引入了确定性并存系统作为并行系统的一个亚类。 确定性并存系统是“局部对流”并存系统。 我们证明不可减少和确定性并存系统具有独特的概率动态,我们通过这些系统的分析性交汇特性来描述这些系统的特点。
0
下载
关闭预览

相关内容

【Manning新书】C++并行实战，592页pdf，C++ Concurrency in Action
【Manning新书】C++并行实战，592页pdf，C++ Concurrency in Action
专知会员服务
61+阅读 · 2021年1月16日
【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
42+阅读 · 2020年12月18日
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
专知会员服务
119+阅读 · 2020年12月7日
【DeepMind】强化学习教程，83页ppt
【DeepMind】强化学习教程，83页ppt
专知会员服务
152+阅读 · 2020年8月7日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
77+阅读 · 2020年7月26日
深度强化学习策略梯度教程，53页ppt
深度强化学习策略梯度教程，53页ppt
专知会员服务
178+阅读 · 2020年2月1日
【微软Alekh等开放新书】强化学习理论与算法（Reinforcement Learning:Theory and Algorithms），附83页pdf
【微软Alekh等开放新书】强化学习理论与算法（Reinforcement Learning:Theory and Algorithms），附83页pdf
专知会员服务
115+阅读 · 2019年11月24日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
194+阅读 · 2019年10月10日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
ICLR2019最佳论文出炉
ICLR2019最佳论文出炉
专知
12+阅读 · 2019年5月6日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
Elasticsearch地理信息存储及查询之Geo_Point
Elasticsearch地理信息存储及查询之Geo_Point
Analysys易观
13+阅读 · 2018年12月29日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
推荐｜深度强化学习聊天机器人（附论文）！
推荐｜深度强化学习聊天机器人（附论文）！
全球人工智能
4+阅读 · 2018年1月30日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
强化学习族谱
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
Budget-limited distribution learning in multifidelity problems
Arxiv
0+阅读 · 2021年5月10日
Partitioning H-Free Graphs of Bounded Diameter
Arxiv
0+阅读 · 2021年5月10日
Probabilistic Modeling of Hurricane Wind-Induced Damage in Infrastructure Systems
Arxiv
0+阅读 · 2021年5月7日
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Arxiv
0+阅读 · 2021年5月6日
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Arxiv
0+阅读 · 2021年5月6日
The Canonical Amoebot Model: Algorithms and Concurrency Control
Arxiv
0+阅读 · 2021年5月6日
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Arxiv
0+阅读 · 2021年5月5日
Optimal Pricing in Multi Server Systems
Arxiv
0+阅读 · 2021年5月5日
Determining 4-edge-connected components in linear time
Arxiv
0+阅读 · 2021年5月4日
Deterministic Rounding of Dynamic Fractional Matchings
Arxiv
0+阅读 · 2021年5月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
不可约的
离散数学
相关VIP内容
【Manning新书】C++并行实战，592页pdf，C++ Concurrency in Action
【Manning新书】C++并行实战，592页pdf，C++ Concurrency in Action
专知会员服务
61+阅读 · 2021年1月16日
【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
42+阅读 · 2020年12月18日
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
【斯坦福新书】决策算法，464页pdf，Algorithms for Decision Making
专知会员服务
119+阅读 · 2020年12月7日
【DeepMind】强化学习教程，83页ppt
【DeepMind】强化学习教程，83页ppt
专知会员服务
152+阅读 · 2020年8月7日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
77+阅读 · 2020年7月26日
深度强化学习策略梯度教程，53页ppt
深度强化学习策略梯度教程，53页ppt
专知会员服务
178+阅读 · 2020年2月1日
【微软Alekh等开放新书】强化学习理论与算法（Reinforcement Learning:Theory and Algorithms），附83页pdf
【微软Alekh等开放新书】强化学习理论与算法（Reinforcement Learning:Theory and Algorithms），附83页pdf
专知会员服务
115+阅读 · 2019年11月24日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
194+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
ICLR2019最佳论文出炉
ICLR2019最佳论文出炉
专知
12+阅读 · 2019年5月6日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
Elasticsearch地理信息存储及查询之Geo_Point
Elasticsearch地理信息存储及查询之Geo_Point
Analysys易观
13+阅读 · 2018年12月29日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
推荐｜深度强化学习聊天机器人（附论文）！
推荐｜深度强化学习聊天机器人（附论文）！
全球人工智能
4+阅读 · 2018年1月30日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
强化学习族谱
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
相关论文
Budget-limited distribution learning in multifidelity problems
Arxiv
0+阅读 · 2021年5月10日
Partitioning H-Free Graphs of Bounded Diameter
Arxiv
0+阅读 · 2021年5月10日
Probabilistic Modeling of Hurricane Wind-Induced Damage in Infrastructure Systems
Arxiv
0+阅读 · 2021年5月7日
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Arxiv
0+阅读 · 2021年5月6日
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Arxiv
0+阅读 · 2021年5月6日
The Canonical Amoebot Model: Algorithms and Concurrency Control
Arxiv
0+阅读 · 2021年5月6日
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Arxiv
0+阅读 · 2021年5月5日
Optimal Pricing in Multi Server Systems
Arxiv
0+阅读 · 2021年5月5日
Determining 4-edge-connected components in linear time
Arxiv
0+阅读 · 2021年5月4日
Deterministic Rounding of Dynamic Fractional Matchings
Arxiv
0+阅读 · 2021年5月4日
Top
微信扫码咨询专知VIP会员
Top