×
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfsdóttir

关于多出口迭代的表达层次结构的注释。 （英语） Zbl 1175.68266号

信息处理。莱特。 87，第1期，17-23（2003）.
摘要：多重退出迭代是标准双星克莱恩操作的推广。将这个结构添加到基本过程代数（BPA）中，产生了一种比用标准二进制Kleene星扩充BPA获得的语言更具表现力的语言。本文为Bergstra、Bethke和Ponse提出的多出口迭代算子族提供了一个表示层次结构，即模互模拟等价。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

并发;进程代数;基本过程代数;多出口迭代;互模拟;表现力
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《Inf.过程》。莱特。87，第1号，17--23（2003；Zbl 1175.68266）
全文： 内政部

参考文献：

[1] 丙酮，L。；Fokkink，W.J.，《多出口迭代的等式公理化》，Inform。和计算。，137, 121-158 (1997) ·Zbl 0881.68069号
[2] Baeten，J。；Bergstra，J。；Klop，J.，生成无上下文语言过程的互模拟等价性的判定，J.ACM，40，653-682（1993）·Zbl 0801.68102号
[3] Baeten，J.C.M。；Verhoef，C.，《结构化操作语义与谓词的同余定理》，（Best，E.，Proceedings CONCUR 93，Hildesheim，Germany。Proceeding CONCUR 91，Hildesseim，Dermany，计算科学讲义，715（1993），Springer:Springer-Berlin），477-492
[4] Baeten，J。；Weijland，W.，《过程代数》。过程代数，剑桥理论丛书。计算。科学。，18（1990），剑桥大学出版社·Zbl 0716.68002号
[5] J.Bergstra，I.Bethke，A.Ponse，带迭代的过程代数，报告CS-R9314，阿姆斯特丹大学编程研究小组，1993年；J.Bergstra，I.Bethke，A.Ponse，带迭代的过程代数，报告CS-R9314，阿姆斯特丹大学编程研究小组，1993·Zbl 0953.68572号
[6] Bergstra，J。；我·贝斯克。；Ponse，A.，带迭代和嵌套的过程代数，计算。J.，37243-258（1994年）·Zbl 0953.68572号
[7] Bergstra，J。；福克金，W.J。；Ponse，A.，《递归运算的过程代数》（Bergstra，J.；Ponse；A.；Smolka，S.，《过程代数手册》（2001），北荷兰人：北荷兰阿姆斯特丹），333-389·Zbl 1027.68091号
[8] J.Bergstra，J.Klop，过程代数中的不动点语义，报告IW 206，数学中心，阿姆斯特丹，1982年；J.Bergstra，J.Klop，过程代数中的不动点语义，报告IW 206，数学中心，阿姆斯特丹，1982年·Zbl 0489.68016号
[9] von Bochmann，G.，《无GOTO循环的多重出口》，美国通信协会，16，443-444（1973）
[10] Buhr，P.A.，《向初学者教授多出口循环的案例》，SIGPLAN通知，20，14-22（1985）
[11] Caucal，D.，Graphes canoniques de grapes algébriques，Theoret。通知。申请。，24, 339-352 (1990) ·Zbl 0701.68082号
[12] Conway，J.H.，《正则代数与有限机器》（Brown，R.；De Wet，J.，《数学系列》（1971），查普曼与霍尔：查普曼和霍尔伦敦）·Zbl 0231.94041号
[13] Cooper，D.，《机械程序验证程序》（Meltzer，B.；Michie，D.，机器智能，第6卷（1971），爱丁堡大学出版社：爱丁堡学院出版社），43-59·Zbl 0261.68023号
[14] Engeler，E.，《初等程序的结构和意义》，（Engler，E.，算法语言语义研讨会，算法语言语义学研讨会，数学课堂讲稿，188（1971），Springer:Springer Berlin），89-101·Zbl 0228.68019号
[15] 福克金，W.J。；Zantema，H.，《带迭代的基本过程代数：方程公理的完备性》，计算。J.，37，259-267（1994）
[16] Kleene，S.，《神经网络和有限自动机中事件的表示》（Shannon，C.；McCarthy，J.，《自动机研究》（1956），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），3-41
[17] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inform。和计算。，110, 366-390 (1994) ·Zbl 0806.68082号
[18] Krob，D.，B-有理恒等式的完备系统，Theoret。计算。科学。，89, 207-343 (1991) ·Zbl 0737.68053号
[19] Manna，Z.，《计算数学理论》（1974），McGraw-Hill:McGraw-Hill纽约·Zbl 0353.68066号
[20] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统科学。，28, 439-466 (1984) ·兹伯利0562.68065
[21] Park，D.，无限序列上的并发和自动机，（Deussen，P.，Proc.5th GI Conference，Karlsruhe，Germany，Proc.5th GI Conference，Karlsruhe，Germany，《计算机科学讲义》，104（1981），施普林格：施普林格柏林），167-183·Zbl 0457.68049号
[22] 彼得森，W.W。；Kasami，T。；Tokura，N.，《关于while、repeat和exit语句的能力》，美国陆军司令部，16，503-512（1973）·兹比尔0279.68008
[23] Yanov，Y.，《算法的逻辑方案》（The logical schemes of algorithms），（《控制论问题》，1（1960），佩加蒙出版社：纽约佩加蒙出版公司），82-140·Zbl 0142.24801
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。