会员服务
Processing（编程语言） · 标注 · 模态 · 论文 ·
2023 年 1 月 24 日
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
翻译：带有时间输出的进程代数的反活性生物模拟模拟符号语义
Rob van Glabbeek
Rob van Glabbeek
from arxiv, An extended abstract of this paper appears in the proceedings of CONCUR 2020

This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra with recursion, and a complete axiomatisation.


翻译：本文件介绍了在经过超时过渡后延长的有标签的过渡系统具有强烈两样特征的对应方。它通过一种模式特征、标准流程代数与循环的一致结果以及完全的异位化,支持这一概念。
0
下载
关闭预览

相关内容

Processing 是一门开源编程语言和与之配套的集成开发环境（IDE）的名称。Processing 在电子艺术和视觉设计社区被用来教授编程基础，并运用于大量的新媒体和互动艺术作品中。
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
240+阅读 · 2019年10月21日
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
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【新书发布】原作者MarcG.Bellemare发布315页分布强化学习书籍(DistributionalRL)
【新书发布】原作者MarcG.Bellemare发布315页分布强化学习书籍(DistributionalRL)
深度强化学习实验室
1+阅读 · 2022年1月11日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
凋亡相关蛋白BTF在猪伪狂犬病毒（PRV）裂解性感染中的抗病毒作用与机制
国家自然科学基金
0+阅读 · 2015年12月31日
CRISPR基因敲除及磷酸化对FOXL2蛋白功能调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
中国田鼠亚科 Microtini族(Rodentia: Cricetidae: Arvicolinae)的分类与系统发育研究
国家自然科学基金
0+阅读 · 2014年12月31日
近地空间环境下含Sc铝合金的高速撞击特性研究及可靠性评估
国家自然科学基金
0+阅读 · 2014年12月31日
铜基多元体系负载介孔材料上CO/CO2 共氢化合成甲醇研究
国家自然科学基金
0+阅读 · 2013年12月31日
哺乳动物体细胞克隆胚胎抗氧化机理的研究
国家自然科学基金
0+阅读 · 2012年12月31日
新型过氧化物酶Prx-2在高血压心功能下降和心力衰竭中的保护作用
国家自然科学基金
0+阅读 · 2012年12月31日
新型沸石分子筛的合成与结构
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
小麦族植物St、Y、P、H基因组间的演化关系研究
国家自然科学基金
0+阅读 · 2008年12月31日
Sustainable Cloud Services for Verbal Interaction with Embodied Agents
Arxiv
0+阅读 · 2023年3月15日
Skinned Motion Retargeting with Residual Perception of Motion Semantics & Geometry
Arxiv
0+阅读 · 2023年3月15日
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse
Arxiv
0+阅读 · 2023年3月15日
Normal Form Bisimulations By Value
Arxiv
0+阅读 · 2023年3月14日
Human heuristics for AI-generated language are flawed
Arxiv
0+阅读 · 2023年3月14日
Semantics-enhanced Temporal Graph Networks for Content Popularity Prediction
Arxiv
0+阅读 · 2023年3月14日
Updating Embeddings for Dynamic Knowledge Graphs
Arxiv
20+阅读 · 2021年9月22日
Temporal Graph Networks for Deep Learning on Dynamic Graphs
Arxiv
37+阅读 · 2020年10月9日
Reasoning on Knowledge Graphs with Debate Dynamics
Reasoning on Knowledge Graphs with Debate Dynamics
Arxiv
14+阅读 · 2020年1月2日
Explainable Reasoning over Knowledge Graphs for Recommendation
Arxiv
11+阅读 · 2018年11月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Processing（编程语言）
标注
模态
论文
相关VIP内容
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
【机器学习基础最新版】（Mathematics for Machine Learning），417页pdf
专知会员服务
240+阅读 · 2019年10月21日
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
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【新书发布】原作者MarcG.Bellemare发布315页分布强化学习书籍(DistributionalRL)
【新书发布】原作者MarcG.Bellemare发布315页分布强化学习书籍(DistributionalRL)
深度强化学习实验室
1+阅读 · 2022年1月11日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
相关论文
Sustainable Cloud Services for Verbal Interaction with Embodied Agents
Arxiv
0+阅读 · 2023年3月15日
Skinned Motion Retargeting with Residual Perception of Motion Semantics & Geometry
Arxiv
0+阅读 · 2023年3月15日
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse
Arxiv
0+阅读 · 2023年3月15日
Normal Form Bisimulations By Value
Arxiv
0+阅读 · 2023年3月14日
Human heuristics for AI-generated language are flawed
Arxiv
0+阅读 · 2023年3月14日
Semantics-enhanced Temporal Graph Networks for Content Popularity Prediction
Arxiv
0+阅读 · 2023年3月14日
Updating Embeddings for Dynamic Knowledge Graphs
Arxiv
20+阅读 · 2021年9月22日
Temporal Graph Networks for Deep Learning on Dynamic Graphs
Arxiv
37+阅读 · 2020年10月9日
Reasoning on Knowledge Graphs with Debate Dynamics
Reasoning on Knowledge Graphs with Debate Dynamics
Arxiv
14+阅读 · 2020年1月2日
Explainable Reasoning over Knowledge Graphs for Recommendation
Arxiv
11+阅读 · 2018年11月12日
相关基金
凋亡相关蛋白BTF在猪伪狂犬病毒（PRV）裂解性感染中的抗病毒作用与机制
国家自然科学基金
0+阅读 · 2015年12月31日
CRISPR基因敲除及磷酸化对FOXL2蛋白功能调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
中国田鼠亚科 Microtini族(Rodentia: Cricetidae: Arvicolinae)的分类与系统发育研究
国家自然科学基金
0+阅读 · 2014年12月31日
近地空间环境下含Sc铝合金的高速撞击特性研究及可靠性评估
国家自然科学基金
0+阅读 · 2014年12月31日
铜基多元体系负载介孔材料上CO/CO2 共氢化合成甲醇研究
国家自然科学基金
0+阅读 · 2013年12月31日
哺乳动物体细胞克隆胚胎抗氧化机理的研究
国家自然科学基金
0+阅读 · 2012年12月31日
新型过氧化物酶Prx-2在高血压心功能下降和心力衰竭中的保护作用
国家自然科学基金
0+阅读 · 2012年12月31日
新型沸石分子筛的合成与结构
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
小麦族植物St、Y、P、H基因组间的演化关系研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top