会员服务
2022 年 6 月 18 日
Robin Milner's Work on Concurrency: An Appreciation
翻译：罗宾·米尔纳关于货币化的工作:赞赏
Samson Abramsky
Samson Abramsky
from arxiv, Text of a talk given at MFPS 2010

We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.


翻译：我们简短地赞赏罗宾·米尔纳对货币计算理论的开创性贡献。
0
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
最新报告64页《军事中的人工智能和自主性：北约成员国的战略和部署概述》北约卓越合作网络防御中心，Artificial Intelligence and Autonomy in the Military: An Overview of NATO Member States’ Strategies and Deployment
最新报告64页《军事中的人工智能和自主性：北约成员国的战略和部署概述》北约卓越合作网络防御中心，Artificial Intelligence and Autonomy in the Military: An Overview of NATO Member States’ Strategies and Deployment
专知会员服务
32+阅读 · 2022年4月7日
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
135+阅读 · 2021年6月16日
机器学习组合优化
机器学习组合优化
专知会员服务
112+阅读 · 2021年2月16日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
167+阅读 · 2020年3月18日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
60+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
80+阅读 · 2019年10月10日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
带跳非耦合正倒向随机微分方程的Crank-Nicolson数值解法研究
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
长链非编码RNA-Cyren与舌鳞癌预后的关系及调控机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
Cocycle动力学和拟周期薛定谔算子的谱
国家自然科学基金
0+阅读 · 2012年12月31日
Navier-Stokes方程的三角形cut-cell自适应有限元方法
国家自然科学基金
0+阅读 · 2011年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
非线性不连续系统的稳定与镇定
国家自然科学基金
0+阅读 · 2008年12月31日
Energy-Efficient Power Allocation for an Underlay Spectrum Sharing RadioWeaves Network
Arxiv
0+阅读 · 2022年8月9日
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Arxiv
0+阅读 · 2022年8月9日
An Agent-Based Framework for Fleet Management of First- and Last-Mile Services
Arxiv
0+阅读 · 2022年8月9日
Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions
Arxiv
0+阅读 · 2022年8月8日
Behavior Trees and State Machines in Robotics Applications
Arxiv
0+阅读 · 2022年8月8日
Vision-Based Activity Recognition in Children with Autism-Related Behaviors
Arxiv
0+阅读 · 2022年8月8日
Bluetooth Low Energy mesh network for power-limited, robust and reliable IoT services
Arxiv
0+阅读 · 2022年8月8日
Joint Resource Allocation and Cache Placement for Location-Aware Multi-User Mobile Edge Computing
Arxiv
0+阅读 · 2022年8月6日
Identity-Based Authentication for On-Demand Charging of Electric Vehicles
Arxiv
0+阅读 · 2022年8月4日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
最新内容
《衡量语言模型中的作战规划能力》
《衡量语言模型中的作战规划能力》
专知会员服务
6+阅读 · 10月20日
Maven智能系统：帕兰提尔军事人工智能平台详解
Maven智能系统：帕兰提尔军事人工智能平台详解
专知会员服务
7+阅读 · 10月20日
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
专知会员服务
9+阅读 · 10月20日
《测试自动化框架在敏捷软件开发中的角色》
《测试自动化框架在敏捷软件开发中的角色》
专知会员服务
5+阅读 · 10月20日
俄罗斯如何拦截乌克兰无人机与巡航导弹
俄罗斯如何拦截乌克兰无人机与巡航导弹
专知会员服务
10+阅读 · 10月15日
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
专知会员服务
11+阅读 · 10月15日
《武器-目标分配问题：精确与近似求解算法》
《武器-目标分配问题：精确与近似求解算法》
专知会员服务
14+阅读 · 10月15日
《以创新锻造杀伤力：第116步兵旅战斗队向机动旅战斗队转型中的电磁战与多域集成》
《以创新锻造杀伤力：第116步兵旅战斗队向机动旅战斗队转型中的电磁战与多域集成》
专知会员服务
9+阅读 · 10月15日
现代电磁战：集成式系统簇时代如何实现频谱优势
现代电磁战：集成式系统簇时代如何实现频谱优势
专知会员服务
10+阅读 · 10月14日
综述｜大模型评测是否过量？基准压缩的方法、成本与可靠性
综述｜大模型评测是否过量？基准压缩的方法、成本与可靠性
专知会员服务
8+阅读 · 10月14日
综述｜谁来改进机器人？迈向物理递归自我改进
综述｜谁来改进机器人？迈向物理递归自我改进
专知会员服务
11+阅读 · 10月14日
《迈向防空协同中段制导：一种连续武器-目标分配视角》
《迈向防空协同中段制导：一种连续武器-目标分配视角》
专知会员服务
9+阅读 · 10月14日
《兵棋推演真正教给我们的是什么：威胁识别，而非预测》
《兵棋推演真正教给我们的是什么：威胁识别，而非预测》
专知会员服务
12+阅读 · 10月14日
《电磁对抗环境下战场指挥与控制系统的弹性：基于依赖型隐马尔可夫模型的电子战对通信网络影响建模》
《电磁对抗环境下战场指挥与控制系统的弹性：基于依赖型隐马尔可夫模型的电子战对通信网络影响建模》
专知会员服务
8+阅读 · 10月14日
软件定义无人机蜂群给防空带来全新压力
软件定义无人机蜂群给防空带来全新压力
专知会员服务
10+阅读 · 10月13日
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
最新报告64页《军事中的人工智能和自主性：北约成员国的战略和部署概述》北约卓越合作网络防御中心，Artificial Intelligence and Autonomy in the Military: An Overview of NATO Member States’ Strategies and Deployment
最新报告64页《军事中的人工智能和自主性：北约成员国的战略和部署概述》北约卓越合作网络防御中心，Artificial Intelligence and Autonomy in the Military: An Overview of NATO Member States’ Strategies and Deployment
专知会员服务
32+阅读 · 2022年4月7日
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
135+阅读 · 2021年6月16日
机器学习组合优化
机器学习组合优化
专知会员服务
112+阅读 · 2021年2月16日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
167+阅读 · 2020年3月18日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
60+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
80+阅读 · 2019年10月10日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
相关论文
Energy-Efficient Power Allocation for an Underlay Spectrum Sharing RadioWeaves Network
Arxiv
0+阅读 · 2022年8月9日
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Arxiv
0+阅读 · 2022年8月9日
An Agent-Based Framework for Fleet Management of First- and Last-Mile Services
Arxiv
0+阅读 · 2022年8月9日
Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions
Arxiv
0+阅读 · 2022年8月8日
Behavior Trees and State Machines in Robotics Applications
Arxiv
0+阅读 · 2022年8月8日
Vision-Based Activity Recognition in Children with Autism-Related Behaviors
Arxiv
0+阅读 · 2022年8月8日
Bluetooth Low Energy mesh network for power-limited, robust and reliable IoT services
Arxiv
0+阅读 · 2022年8月8日
Joint Resource Allocation and Cache Placement for Location-Aware Multi-User Mobile Edge Computing
Arxiv
0+阅读 · 2022年8月6日
Identity-Based Authentication for On-Demand Charging of Electric Vehicles
Arxiv
0+阅读 · 2022年8月4日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
相关基金
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
带跳非耦合正倒向随机微分方程的Crank-Nicolson数值解法研究
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
长链非编码RNA-Cyren与舌鳞癌预后的关系及调控机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
Cocycle动力学和拟周期薛定谔算子的谱
国家自然科学基金
0+阅读 · 2012年12月31日
Navier-Stokes方程的三角形cut-cell自适应有限元方法
国家自然科学基金
0+阅读 · 2011年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
非线性不连续系统的稳定与镇定
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top