×
彼得·休厄尔

有限状态过程等价的非公理化性。 （英语） Zbl 0898.03012号

Ann.纯粹应用。逻辑 90，编号1-3163-191（1997）.
根据作者的摘要：“本文考虑有限状态过程演算上行为等价的有限方程公理化的存在性，需要一些替换符号。因此，微积分被嵌入到简单类型的lambda微积分中，允许将这种模式表示为包含一阶变量的项之间的方程。引入了此类项上的一阶迹同余的概念，并用以表明，对于任何比迹等价更精细的合理等价，此类方程的有限集都不是健全和完整的”。
审核人：B.Wojdyło（托伦）

引用于10文件

MSC公司：

03C05号机组 模型理论中的方程类、泛代数
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
08B05号 等式逻辑，Mal'tsev条件
03B40型 组合逻辑与lambda演算
65年第68季度 形式语言和自动机
68问题55 计算理论中的语义学
70年第68季度 语言代数理论与自动机

关键词：

等式逻辑;进程代数;正则表达式;非氧化性;等式公理化;行为等效性;迹同余
PDF格式BibTeX公司 XML格式引用
\textit{P.Sewell}，Ann.纯粹应用。逻辑90，编号1--3163--191（1997；Zbl 0898.03012）
全文： 内政部

参考文献：

[1] 丙酮，L。；福金克，W。；van Glabbeek，R.，A.Ingólfsdóttir，《带无声步骤的公理化前缀迭代》，Inform。和计算。，127, 1, 26-40 (1996) ·Zbl 0855.68030号
[2] 丙酮，L。；福克金，W.J。；Ingólfsdóttir，A.，《基于BPA^*的非有限过程语义系列：从准备好的模拟语义到完成的跟踪》（研究报告RS-96-23（1996年7月），BRICS，奥尔堡大学数学与计算机科学系）·Zbl 0917.68138号
[3] 丙酮，L。；Ingólfsdóttir，A.，无声步骤前缀迭代的完全等式公理化，（研究报告RS-95-5（1995年1月），金砖国家（丹麦研究基金会中心计算机科学基础研究），奥尔堡大学数学和计算机科学系）
[4] 阿尔汉格尔斯基，K.B。；Gorshkov，P.V.，正则语言代数的蕴涵公理，Doklady Akad。Nauk USSR，Ser A，10，67-69（1987），（俄语）·Zbl 0626.68059号
[5] Bergstra，J.A。；我·贝斯克。；Ponse，A.，带迭代和嵌套的过程代数，计算。J.，37，4，243-258（1994），也是阿姆斯特丹大学编程研究小组的报告P9314·Zbl 0953.68572号
[6] 布鲁姆，S.L。；埃西克，Z.，正则集的等式公理，数学。结构。计算。科学。，3, 1-24 (1993) ·Zbl 0796.68153号
[7] 布鲁姆，S.L。；埃西克，Z。，《迭代理论：迭代过程的等式逻辑》，（EATCS理论计算机科学专著（1993），施普林格：施普林格-柏林）·Zbl 0796.68153号
[8] 布鲁姆，S.L。；埃西克，Z.，有限状态过程行为的迭代代数，手稿（1994年2月）
[9] 布鲁姆，S.L。；埃西克，Z。；Taubner，D.，同步树的迭代理论，Inform。和计算。，102, 1 (1993) ·Zbl 0780.68088号
[10] Boffa，M.，《关于系统完整性的评论》，Theoret。通知。应用。，24, 4, 419-423 (1990) ·Zbl 0701.68059号
[11] Conway，J.H.，《正则代数与有限机器》（1971），查普曼与霍尔：查普曼&霍尔伦敦·Zbl 0231.94041号
[12] 科皮，I.M。；艾尔戈特，C.C。；Wright，J.B.，通过逻辑网络实现事件，J.ACM，5，2，181-196（1958）·Zbl 0148.25202号
[13] Fokkink，W.J.，前缀迭代的完整等式公理化，Inform。过程。莱特。，52、6、333-337（1994），另见CWI报告CS-R9415·Zbl 0938.68697号
[14] 福克金，W。；Zantema，H.，《带迭代的基本过程代数：方程公理的完备性》，计算。J.，37，4259-267（1994），另见CWI报告CS-R9368
[15] Hoare，C.A.R.，《通信顺序过程》（计算机科学系列（1985年），Prentice-Hall：新泽西州Prentice-Hall Englewood Cliffs）·Zbl 0841.68042号
[16] Kleene，S.C.，《神经网络和有限自动机中事件的表示》，（Shannon，C.E.；McCarthy，J.，《自动机研究》，《数学年鉴》，34（1956），普林斯顿大学出版社：普林斯顿大学出版，普林斯顿），3-41·Zbl 0061.01003号
[17] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inform。和计算。，110，366-390（1994年），也在LICS’91中·Zbl 0806.68082号
[18] Krob，D.，B-有理恒等式的完备系统，Theoret。计算。科学。，89, 207-343 (1991) ·Zbl 0737.68053号
[19] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统科学。，28, 3, 439-466 (1984) ·Zbl 0562.68065号
[20] Milner，R.，有限状态行为观测同余的完整公理化，Inform。和计算。，81, 227-247 (1989) ·Zbl 0688.68050号
[21] Moller，F.，《并行公理》（爱丁堡大学博士论文（1989））
[22] Nielson，F.，具有一级过程的类型λ-演算，（Proc.PARLE’89。程序。89年，《计算机科学讲义》，第366卷（1989年），施普林格出版社：柏林施普林格）
[23] Park，D.M.R.，无限序列上的并发和自动机，（第五届G.I.Conf.第五届G.I.Conf Proc.，计算机科学讲义，第104卷（1981），Springer:Springer-Berlin）·Zbl 0329.68015号
[24] Rabinovich，A.，《有限状态行为的迹同余的完整公理化》（Brookes，S.；Main，M.；Melton，A.；Mislove，M.，Schmidt，D.，《程序设计语义的数学基础》（IX）。程序。编程语义学的数学基础（IX），《计算机科学讲义》，第802卷（1993年），施普林格：施普林格柏林），530-543·Zbl 1509.68189号
[25] Redko，V.N.，《关于正则事件代数的定义关系》，乌克兰。材料Zh。，16，120-126（1964），（俄语）·兹比尔0199.04302
[26] Salomaa，A.，正则事件代数的两个完整公理系统，J.ACM，13，1，158-169（1966）·Zbl 0149.24902号
[27] Sangiorgi，D.，《在过程代数中表达移动性：一阶和高阶范式》（爱丁堡大学博士论文（1993））·Zbl 0956.68081号
[28] Sewell，P.M.，《双向模拟不是有限（一阶）等式公理化的》，（第九届IEEE计算机科学逻辑研讨会（1994年），IEEE:IEEE纽约），62-70
[29] Sewell，P.M.，《有限状态过程的代数》（计算机科学部技术报告CST-118-95）。爱丁堡大学计算机科学系技术报告CST-118-95，博士论文（1995），也出版为LFCS-95-328。
[30] van Glabbeek，R.J.，《线性时间分支时间谱（扩展摘要）》，（Baeten，J.C.M.；Klop，J.W.，Proc.CONCUR'90，《并发理论：统一与扩展》，Proc.CONCUR'90:《并发理论》，阿姆斯特丹，1990年8月。程序。CONCUR'90，《并发理论：统一与扩展》。程序。CONCUR’90，《并发理论：统一与扩展》，阿姆斯特丹，1990年8月，计算机科学讲义，第458卷（1990），施普林格：施普林格柏林），278-297
[31] van Glabbeek，R.J.，《有限状态行为分支互模拟同余的完全公理化》（Borzyszkowski，A.M.；Sokołowski，S.，Proc.18th Internat.Symp.on Mathematical Foundations of Computer Science，MFCS’93）。程序。第18届国际米兰。症状。计算机科学数学基础，MFCS’93，波兰格但斯克，1993年8月/9月。程序。第18届国际米兰。症状。计算机科学数学基础，MFCS’93。程序。第18届国际米兰。症状。关于计算机科学的数学基础，MFCS’93，波兰格但斯克，1993年8月/9月，计算机科学讲义，第711卷（1993），施普林格：施普林格柏林），473-484·Zbl 0825.00085号
[32] van Glabbeek，R.J.，《发散交互模拟》（1993），《个人通信》
[33] 弗兰肯，J.L.M.，理论。计算。科学。，177，2，287-328（1997），更新版本出现在·Zbl 0901.68112号
[34] 亚诺夫，正则代数与有限机器，（1971），查普曼与霍尔：查普曼和霍尔伦敦），108·Zbl 0231.94041号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。