梅耶,J.-J.Ch。 用不动点理论合并正则过程。 (英语) Zbl 0602.68025号 西奥。计算。科学。 45, 193-260 (1986). 首先,我们研究了具有\(\mu\)-递归和任意交错(merge)的进程的跟踪集语义\(\mu\)-递归类似于标准编程中通过递归过程进行的递归。使用while-statements的迭代可以看作是这种情况的特例:所谓的正则递归。语义用于支持确定两个常规顺序(非确定性)进程合并的形式主义。接下来,我们转向具有merge、\(\mu\)-递归和第二种递归的过程,称为\(\alpha\)-递归。当以正则形式应用时,这种递归相当于形式语言理论中已知的Kleene-star迭代。它只涉及任意的大迭代次数,但迭代次数有限。需要一个不同的、更复杂的框架来赋予这种过程意义。此后,我们定义了这些过程的公平合并的语义。最后,我们用它来证明一种类似于任意合并的形式的正确性,以计算两个正则序列(非确定性)过程的公平合并。 引用于7文件 MSC公司: 68N25号 操作系统理论 68号01 软件理论中的一般主题 关键词:并发;公平;指称语义学;迹理论;无限单词;进程的语义;递归;交错;迭代;while-语句;Kleene-star迭代;公平合并;正确性 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer},Theor。计算。科学。45、193--260(1986年;Zbl 0602.68025) 全文: 内政部 参考文献: [1] Apt,K.R。;Olderog,E.R.,《关于公平的证明规则》(Kozen,D.,Proc.Logics of Programs.Proc.Logicss of Programs,Telection Notes in Computer Science,131(1982),Springer:Springer Berlin),1-8·Zbl 0481.68021号 [2] Apt,K.R。;Plotkin,G.D.,《库克的可数不确定性之旅》,(Even,s.;Kariv,O.,Proc.8th ICALP.Proc.8st ICALP,计算机科学讲义,115(1981),Springer:Springer Berlin),479-494·Zbl 0465.68002号 [3] Apt,K.R。;Plotkin,G.D.,《可数不确定性和随机分配》,(《技术报告》第82-7期(1982年),巴黎第七大学LITP)·Zbl 0627.68015号 [4] Back,R.J.R.,无界不确定性的连续语义,Theoret。计算。科学。,23, 2, 187-210 (1983) ·Zbl 0498.68005号 [5] de Bakker,J.W.,《递归程序》,《数学中心丛书》,24(1971),阿姆斯特丹·Zbl 0274.02015 [6] de Bakker,J.W.,《程序正确性的数学理论》(1980),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德·克利夫斯,新泽西州·Zbl 0452.68011号 [7] de Bakker,J.W。;Bergstra,J.A.(伯格斯特拉,J.A.)。;克洛普,J.W。;Meyer,J.-J.Ch.,线性时间和分支时间语义的递归与合并,定理。计算。科学。,34, 1, 2, 135-156 (1984) ·Zbl 0985.68517号 [8] 德·巴克尔,J.W。;Meyer,J.-J.Ch。;Zucker,J.I.,(勘误.勘误,理论.计算科学,29(1984)),229-230,1,2·Zbl 0533.68020号 [9] de Bakker,J.W。;Zucker,J.I.,并发的指称语义(Proc.14th ACM STOC(1982)),153-158·Zbl 0508.68011号 [10] de Bakker,J.W。;Zucker,J.I.,进程和并发的指称语义,Inform。和控制,54,1,2,70-120(1982)·兹比尔0508.68011 [11] Bergstra,J.A.(伯格斯特拉,J.A.)。;Klop,J.W.,过程代数中的不动点语义,(Rept.IW-206/82(1982),数学中心:阿姆斯特丹数学中心)·Zbl 0489.68016号 [12] Bergstra,J.A.(伯格斯特拉,J.A.)。;Klop,J.W.,《通信和互斥的过程代数》(报告IW-218/83(1983),数学中心:阿姆斯特丹数学中心)·Zbl 0512.68013号 [13] Broy,M.,通信和并发的不动点理论,(Björner,D.,《IFIP TC2工作会议程序》82(1983),北荷兰:北荷兰阿姆斯特丹),125-146·Zbl 0512.68024号 [14] 科恩,R。;Gold,A.,ω语言理论,J.Compute。系统科学。,15、169-208(1977),第一部分和第二部分·Zbl 0363.68113号 [15] Darondeau博士。;Kott,L.,《关于公平平行性的观察语义》(Diaz,J.,Proc.10th ICALP.Proc.10st ICALP,Letter Notes in Computer Science,154(1983),Springer:Springer Berlin),(技术报告附录262,INRIA,Rennes,1983)·Zbl 0518.68014号 [16] Degano,P。;Montanari,U.,《作为事件局部顺序限制的公平并发历史》(《技术报告》(1983),比萨大学) [17] Francez,N。;霍尔,C.A.R。;莱曼,D.J。;de Roever,W.P.,《不确定性、并发性和通信的语义》,J.Compute。系统科学。,19, 290-380 (1979) ·Zbl 0434.68066号 [18] Francez,N。;莱曼,D.J。;Pnueli,A.,分布式编程语言的线性历史语义,Theoret。计算。科学。,32, 25-46 (1984) ·Zbl 0543.68019号 [19] Gallier,J.H.,关于最优不动点的存在性,数学。系统理论,13209-217(1980)·Zbl 0445.06002号 [20] 格伦伯格,O。;Francez,N。;Makowsky,J.A。;de Roever,W.P.,《公平终止警戒命令的证明规则》,(de Bakker,J.W.;van Vliet,J.C.,《算法语言汇编》Proc.Symp.on Algorithmic Languages(1981),北荷兰:北荷兰阿姆斯特丹),399-416 [21] Hennessy,M.,同步进程的术语模型,Inform。和控制,51,1,58-75(1981)·Zbl 0503.68022号 [22] 轩尼诗,M。;Milner,R.,《关于观察不确定性和并发性》(de Bakker,J.W.;Leeuwen,J.v.,Proc.7th ICALP.Proc.7st ICALP,Letch Notes in Computer Science,85(1980),Springer:Springer Berlin),299-309·Zbl 0441.68018号 [23] 轩尼诗,M。;Plotkin,G.,简单并行编程语言的完全抽象,(Bečvař,J.,Proc.8th MFCS.Proc.8th MFCS,计算机科学讲义,74(1979),施普林格:施普林格柏林),108-120·Zbl 0457.68006号 [24] 希区柯克,P。;Park,D.,归纳规则和终止证明,(Nivat,M.,Proc.ICALP'72(1973),北荷兰:北荷兰阿姆斯特丹),225-251 [26] Kuiper,R.,《等价于指称的有界不确定性的操作语义学》(de Bakker,J.W.;Vliet,J.C.v.,《Proc.Algorithmic Languages IFIP’81(1982),北荷兰:北荷兰阿姆斯特丹),373-398 [27] Kuiper,R。;de Roever,W.P.,《时序逻辑框架中CSP的公平性假设》,(《IFIP TC2工作会议程序》,82(1983),北荷兰:北荷兰阿姆斯特丹),159-170·Zbl 0512.68022号 [28] 拉塞兹,J.-L。;Nguyen,V.L。;Sonenberg,E.A.,《不动点定理和语义:民间故事》,Inform。过程。莱特。,14, 3, 112-115 (1982) ·Zbl 0488.68015号 [29] Milne,G。;Milner,R.,《并发进程及其语法》,J.ACM,26,302-321(1979)·兹伯利0395.68030 [30] Meyer,J.-J.Ch.,《基于不动点变换的编程计算:语义和应用》(论文(1985),阿姆斯特丹自由大学) [31] Milner,R.,《沟通过程的微积分》(计算机科学讲义,92(1980),施普林格:施普林格柏林)·Zbl 0452.68027号 [32] Nivat,M.,《无限单词,无限树,无限计算》(de Bakker,J.W.;Leeuwen,J.v.,Proc.Foundations of Computer Science III(2))。程序。计算机科学基础III(2),数学中心,109(1979),阿姆斯特丹·Zbl 0423.68012号 [33] Park,D.,《公平并行的语义》,(Björner,D.,Proc.Abstract Software Specifications,Proc.抽象软件规范,计算机科学讲义,86(1980),Springer:Springer Berlin)·Zbl 0456.68028号 [34] Park,D.,无限序列上的并发与自动机,(Deussen,P.,Proc.理论计算机科学,Proc.计算机科学讲义,104(1981),Springer:Springer-Berlin)·Zbl 0457.68049号 [35] Park,D.,弱公平迭代的谓词变换器,(第六届IBM MFCS研讨会论文集,第六届IBMMFCS研讨会文章集,日本箱根(1981)) [36] Plotkin,G.D.,《电力领域建设》,SIAM J.Compute。,5, 452-487 (1976) ·Zbl 0355.68015号 [37] 普努利,A。;斯塔维,J。;Lehmann,D.J.,《公正、正义和公平,同时终止的道德》,(Even,S.;Kariv,O.,Proc.8th ICALP,Proc.8 ICALP《计算机科学讲义》,115(1981),Springer:Springer Berlin),264-277·Zbl 0468.68026号 [38] de Roever,W.P.,《公平终止推理的形式主义》,(Kozen,D.,程序逻辑程序,计算机科学讲义,131(1982),施普林格:施普林格-柏林),113-121·Zbl 0481.68017号 [39] Smyth,M.B.,Power domains,J.Compute。系统科学。,16, 23-36 (1978) ·Zbl 0391.68011号 [40] Smyth,M.B.,有效给定域,Theoret。计算。科学。,5, 3, 257-274 (1977) ·Zbl 0429.03028号 [41] Smyth,M.B.,《Powerdomains and predicator transformers:A topological view》,(Diaz,J.,Proc.10th ICALP.Proc.10st ICALP,《计算机科学讲义》,154(1983),Springer:Springer Berlin)·Zbl 0533.68018号 [42] 医学博士Smyth。;Plotkin,G.D.,递归域方程的范畴论解,SIAM J.Comput。,11, 1, 761-783 (1982) ·Zbl 0493.68022号 [43] 斯托普,F.A。;德罗弗,W.P。;Gerth,R.T.,《μ-演算作为公平论据的断言语言》,科技报告。,乌得勒支大学,RUU-CS-84-12(1984)·Zbl 0678.68010号 [44] Stoy,J.E.,《指称语义学:编程语言理论的Scott-Strachey方法》(1977年),麻省理工学院出版社:麻省理学院出版社剑桥/伦敦·Zbl 0503.68059号 [45] 塔斯基,A.,《格理论不动点定理及其应用》,太平洋数学杂志。,5, 285-309 (1955) ·Zbl 0064.26004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。