It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.
翻译：事实表明,高维的自制成像与它产生的自由对称的HDA类似,因此,直到遗传历史保存两样,普通的HDAs和对称的HDAs是具有相同表达力的共通货币模型。
相关内容
ACM/IEEE第23届模型驱动工程语言和系统国际会议，是模型驱动软件和系统工程的首要会议系列，由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来，模型涵盖了建模的各个方面，从语言和方法到工具和应用程序。模特的参加者来自不同的背景，包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛，参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会，并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。
官网链接：http://www.modelsconference.org/
Arxiv
0+阅读 · 2021年5月19日
Arxiv
0+阅读 · 2021年5月19日
Arxiv
0+阅读 · 2021年5月19日
Arxiv
3+阅读 · 2020年4月13日
相关VIP内容
相关资讯
微信扫码咨询专知VIP会员