阿德里安·帕拉西奥斯;德国维达尔 面向术语重写中基于actor的并发建模。 (英语) Zbl 1428.68204号 Chiba,Yuki(编辑)等人,2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会,WPTE'15。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 19-29 (2015). 小结:在这项工作中,我们介绍了一种在顺序项重写中建模参与者系统的方案。在我们的提案中,TRS由三个组件组成:功能部分(特定于系统)、一组减少并发操作的规则和一组定义特定调度策略的规则。我们的方法的一个关键要素是,并发系统是用术语建模的,根据这些术语,用户定义的函数调用中永远不会发生并发操作。这个假设大大简化了并发操作语义的定义,因为不需要术语遍历。我们证明,这些系统在并发操作总是可以减少的意义上定义良好。我们的方法可以作为基于actor的并发程序建模的基础,然后可以使用现有的术语重写系统技术对其进行分析。关于整个系列,请参见[Zbl 1329.68023号]. 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2012年第68季度 语法和重写系统 关键词:并发;演员模型;重写 软件:莫德;埃尔朗 PDF格式BibTeX公司 XML格式引用 \textit{A.Palacios}和\textit{G.Vidal},OASIcs--OpenAccess服务器。通知。46,19-29(2015年;兹bl 1428.68204) 全文: 内政部 参考文献: [2] E.Albert、P.Arenas和M.Gómez-Zamalloa。CLP中并发对象的符号执行。在PADL'12型,第123-137页。施普林格LNCS 71492012·Zbl 1281.68074号 [3] 乔·阿姆斯特朗、罗伯特·维丁和迈克·威廉姆斯。ERLANG中的并发编程普伦蒂斯·霍尔,1993年·Zbl 0829.68014号 [4] F.Baader和T.Nipkow。术语重写和所有这些剑桥大学出版社,1998年·Zbl 0948.68098号 [5] M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martí-Oliet、J.Meseguer和C.L.Talcott,编辑。关于Maude-一个高性能逻辑框架,如何指定,程序 和验证重写逻辑中的系统施普林格LNCS 43502007·Zbl 1115.68046号 [6] 吉尔根·吉斯尔和托马斯·阿尔茨。通过依赖对验证Erlang进程。申请。代数工程通讯。计算。, 12(1/2):39-72, 2001. ·Zbl 0973.68101号 [7] 菲利普·哈勒和马丁·奥德斯基。Scala演员:统一基于线程和基于事件的编程。西奥。计算。科学。, 410(2-3):202-220, 2009. ·Zbl 1162.68396号 [8] 何塞·梅塞盖尔(JoséMeseguer)。条件重写逻辑作为并发的统一模型。西奥。 计算。科学。, 96(1):73-155, 1992. ·Zbl 0758.68043号 [9] 托马斯·诺尔。Erlang的重写逻辑实现。选举人。注释Theor。计算。 科学。, 44(2):206-224, 2001. [10] 詹姆斯·R·斯莱格尔。为具有简化器、交换性和结合性的理论提供自动化理论证明。美国计算机学会期刊, 21(4):622-642, 1974. ·Zbl 0296.68092号 [11] H.Svensson、L.-A.Fredlund和C.Benac Earle。未来Erlang的统一语义。在程序。第九届ACM SIGPLAN Erlang研讨会,第23-32页。ACM,2010年。 [12] 汉斯·斯文森(Hans Svensson)和拉尔斯·阿克·弗雷德隆德(Lars-Ake Fredlund)。分布式Erlang的更准确语义。在Simon J.Thompson和Lars Ake Fredlund的编辑中,2007 ACM会议记录 SIGPLAN Erlang研讨会,第43-54页。ACM,2007年。 [13] G.维达尔。通过重写术语实现Erlang验证。在2013年洛普斯特,第109-126页。施普林格LNCS 89012014·Zbl 1453.68032号 [14] G.维达尔。《Erlang中的符号执行》(短文)。在14磅/平方英寸,第351-360页。施普林格LNCS 89742014·Zbl 1434.68063号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。