跳跃导航
浏览
社区
&收藏品
浏览项目依据:
发布日期
作者
标题
主题
文档类型
访问类型
科学领域
科学领域(云格式)
Help
成语
英语
葡萄牙语
波尔图阿伯托大学
FCUP-城市立面
FCUP-Artigo em Livro de Atas de Conferéncia国际
请使用此标识符引用或链接此项目:
https://hdl.handle.net/10216/90793
作者:
萨宾·布罗达
SÃlvia Cavadas公司
费雷拉
内尔马·莫雷拉
标题:
用导数判定同步Kleene代数
发布日期:
2015
摘要:
同步Kleene代数(SKA)是一个可判定的框架,它将Kleene-代数(KA)与并发的同步模型结合在一起。
SKA的要素可以被视为在固定的离散时间框架内发生的过程,在每个时间步,可能会执行一个或多个基本操作,或随后停止。
带测试的同步Kleene代数(SKAT)将SKA与布尔代数结合在一起。
这两个代数都是由Priscariu引入的,他通过基于经典Thompson-NFA构造的Kleene定理证明了方程理论的可判定性。
利用偏导数的概念,我们提出了一种新的SKA项等价性判定方法。
考虑到用布尔表达式而不是原子标记跃迁的自动机,对SKAT的结果进行了扩展。
这项工作延续了之前针对KA和KAT所做的研究,其中基于导数的方法被用于测试术语等价性的可行算法中。
(c) 瑞士施普林格国际出版公司,2015年。
URI(URI):
https://hdl.handle.net/10216/90793
资料来源:
自动化的实施和应用——第20届国际会议,2015年CIAA,瑞典乌梅,2015年8月18日至21日,会议记录
文件类型:
国际Conferéncia Artigo em Livro de Atas
权利:
打开Access
出现在集合中:
FCUP-Artigo em Livro de Atas de Conferéncia国际
此项目中的文件:
文件
说明
大小
格式
107487.pdf格式
354.59千字节
Adobe PDF格式
查看/打开
显示完整项目记录
推荐此项目
显示统计信息
除非另有说明,否则DSpace中的项目受版权保护,保留所有权利。