会员服务
数学 ·
12 月 13 日
Computation and Concurrency
翻译：计算与并发性
Yong Wang
Yong Wang

We try to clarify the relationship between computation and concurrency. Base on the so-called pomsetc automata, we introduce communication and more operators, and establish the algebras modulo language equivalence and truly concurrent bisimilarities.


翻译：本文旨在阐明计算与并发性之间的关系。基于所谓的偏序集自动机，我们引入了通信及更多算子，并建立了关于语言等价和真并发互模拟的代数学。
0
下载
关闭预览

相关内容

【CVPR2024】视频异常事件因果关系理解数据集、评价基准和多模态大模型
【CVPR2024】视频异常事件因果关系理解数据集、评价基准和多模态大模型
专知会员服务
25+阅读 · 2024年5月24日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
46+阅读 · 2021年11月24日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
151+阅读 · 2020年7月6日
【ICLR 2020】 基于组合的多关系图卷积网络 Composition-Based Multi-Relational Graph Convolutional Networks
【ICLR 2020】 基于组合的多关系图卷积网络 Composition-Based Multi-Relational Graph Convolutional Networks
专知会员服务
108+阅读 · 2020年3月29日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
15+阅读 · 2020年2月1日
【NeurIPS2019】图变换网络：Graph Transformer Network
【NeurIPS2019】图变换网络：Graph Transformer Network
专知
245+阅读 · 2019年11月18日
【AutoML】自动机器学习：最近进展研究综述 AutoML：A survey of State-of-the-art
【AutoML】自动机器学习：最近进展研究综述 AutoML：A survey of State-of-the-art
产业智能官
15+阅读 · 2019年8月13日
一文了解成分句法分析
一文了解成分句法分析
人工智能头条
15+阅读 · 2019年4月24日
CNN 反向传播算法推导
CNN 反向传播算法推导
统计学习与视觉计算组
30+阅读 · 2017年12月29日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
实例结构限制下信息传播算法的收敛性研究
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
复杂多元数据的半参数统计推断
国家自然科学基金
5+阅读 · 2014年12月31日
L-函数、大值特征和及相关问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
Matrix Completion Survey: Theory, Algorithms, and Empirical Evaluation
Arxiv
0+阅读 · 12月9日
Extending Action Logic with Omega Iteration
Arxiv
0+阅读 · 12月7日
New Hybrid Heuristics for Pseudo-Boolean Propagation
Arxiv
0+阅读 · 11月26日
Rings and Boolean Algebras as Algebraic Theories
Arxiv
0+阅读 · 11月22日
A Grammar of Data Analysis
Arxiv
0+阅读 · 11月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
【CVPR2024】视频异常事件因果关系理解数据集、评价基准和多模态大模型
【CVPR2024】视频异常事件因果关系理解数据集、评价基准和多模态大模型
专知会员服务
25+阅读 · 2024年5月24日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
46+阅读 · 2021年11月24日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
151+阅读 · 2020年7月6日
【ICLR 2020】 基于组合的多关系图卷积网络 Composition-Based Multi-Relational Graph Convolutional Networks
【ICLR 2020】 基于组合的多关系图卷积网络 Composition-Based Multi-Relational Graph Convolutional Networks
专知会员服务
108+阅读 · 2020年3月29日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
15+阅读 · 2020年2月1日
热门VIP内容
相关资讯
【NeurIPS2019】图变换网络：Graph Transformer Network
【NeurIPS2019】图变换网络：Graph Transformer Network
专知
245+阅读 · 2019年11月18日
【AutoML】自动机器学习：最近进展研究综述 AutoML：A survey of State-of-the-art
【AutoML】自动机器学习：最近进展研究综述 AutoML：A survey of State-of-the-art
产业智能官
15+阅读 · 2019年8月13日
一文了解成分句法分析
一文了解成分句法分析
人工智能头条
15+阅读 · 2019年4月24日
CNN 反向传播算法推导
CNN 反向传播算法推导
统计学习与视觉计算组
30+阅读 · 2017年12月29日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
相关论文
Matrix Completion Survey: Theory, Algorithms, and Empirical Evaluation
Arxiv
0+阅读 · 12月9日
Extending Action Logic with Omega Iteration
Arxiv
0+阅读 · 12月7日
New Hybrid Heuristics for Pseudo-Boolean Propagation
Arxiv
0+阅读 · 11月26日
Rings and Boolean Algebras as Algebraic Theories
Arxiv
0+阅读 · 11月22日
A Grammar of Data Analysis
Arxiv
0+阅读 · 11月4日
相关基金
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
实例结构限制下信息传播算法的收敛性研究
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
复杂多元数据的半参数统计推断
国家自然科学基金
5+阅读 · 2014年12月31日
L-函数、大值特征和及相关问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top