×
菲利普·达伦多

关于公平异步。 （英语） Zbl 0607.68016号

西奥。计算。科学。 37, 305-336 (1985).
本文研究了公平性和异步性对类CCS语言语义建模的联合影响。公平性是参与计算的每个代理与其他异步代理进行通信的保证，前提是这种通信通常是无限可能的。程序根据反映可观察属性的包含的实现前序进行比较：无论何时，对于每一个上下文（{mathcal C}）和每一个程序r，都没有r的计算可以识别p与q，p都被认为小于q。前序的完全抽象模型是在无限语言的域中构建的，这里比经典代数域更可取。分析了有界并行的限制。在这个简化的框架中，该模型变得有效，而且可以判定。

引用于8文件

MSC公司：

68N25号 操作系统理论
68问题65 抽象数据类型；代数规范

关键词：

公平；异步；类CCS语言的语义建模；异步代理；通信；无限语言；经典代数域；平行度
PDF格式BibTeX公司 XML格式引用
\文本{P.Darondeau}，Theor。计算。科学。37305-336（1985年；兹bl 0607.68016）
全文： 内政部

参考文献：

[1] Ben-Ari，M。；Manna，Z。；Pnueli，A.，分支时间的时序逻辑，（第八届美国计算机学会编程语言原理研讨会（1981）），164-176
[2] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.Assoc.Compute。机器。，31660-59（1984年）·Zbl 0628.68025号
[3] 科斯塔·G。；斯特林，C.，《通信系统的公平演算》，《信息学报》。，21, 417-441 (1984) ·兹伯利0538.68014
[4] Darondeau博士，Quelques problémes relatifsála composition paralleléle，（《AFCET会议纪事》1981（1981），《Hommes et Techniques:Hommes et-Techniques Paris》，127-138
[5] Darondeau，Ph.，有限过程观测同余的扩大定义和完全公理化，（Dezani-Ciancaglini，M.；Montanari，U.，第五届国际程序设计研讨会，第五期国际程序设计会议，计算机科学讲稿，137（1982），施普林格：施普林格柏林/海德堡/纽约），47-62·兹伯利04826.8025
[6] Darondeau博士。；Kott，L.，《公平并行的观察语义》（Diáz，J.，第10届国际自动化学院，《语言与编程》，83年）。第十届国际。科尔。《自动化、语言和编程》，83年，计算机科学讲义，154（1983），施普林格：施普林格柏林/海德堡/纽约），147-159·兹伯利0518.68014
[7] Darondeau博士。；Kott，L.，《公平平行的观察语义学》，INRIA Rept。第262号（1983）·兹伯利0518.68014
[8] Darondeau博士。；Kott，L.，无限有理表达式的形式证明系统，INRIA Rept。第218号（1983）·Zbl 0575.68083号
[9] Darondeau博士。；Kott，L.，朝向（w=rational）表达式的形式证明系统，Inform。过程。莱特。，19, 173-177 (1984) ·Zbl 0575.68082号
[10] 艾伦伯格，S.（自动化，语言与机器，A卷（1974），学术出版社：纽约学术出版社）·Zbl 0317.94045号
[11] Guessarian，I.，代数语义学（计算机科学讲义，99（1981），施普林格：施普林格柏林/海德堡/纽约）·Zbl 0602.68017号
[12] Gabbay博士。；普努利，A。；谢拉，S。；Stavi，J.，《公平的时间分析》，（第七届美国计算机学会编程语言原则研讨会（1980年）），163-173
[13] 轩尼诗，M.C.B。；Milner，R.，《关于观察不确定性和并发性》（De Bakker，J.；Van Leeuwen，J.，Internat.Coll.On Automata，Languages and Programming’80）。国际。科尔。《关于自动化、语言和编程》，80年，计算机科学讲义，85（1980），施普林格：施普林格柏林/海德堡/纽约），299-309·Zbl 0441.68018号
[14] Hennesy，M.C.B.，《过程的同步和异步实验》，Inform。和控制，59，36-83（1983）·Zbl 0544.68028号
[15] Hennessy，M.C.B.，有限延迟算子建模（内部报告CSR 153-83（1983），爱丁堡大学计算机科学系）
[16] Hennessy，M.C.B.，公平异步通信过程的代数理论，（报告（1984），爱丁堡大学计算机科学系）·Zbl 0437.68002号
[17] Jorrand，Ph.，《通信过程和过程实现正确性规范》（Dezani-Ciancaglini，M.；Montanari，U.，第五届国际程序设计研讨会，第五期国际程序设计会议，计算机科学讲稿，137（1982），Springer:Springer Berlin/Heidelberg/New York），242-256·Zbl 0482.68027号
[18] Milner，R.，类型lambda-calculi的完全抽象模型，Theoret。计算。科学。，4, 1-23 (1977) ·Zbl 0386.03006号
[19] Milner，R.，流图和流代数，J.Assoc.Compute。机器。，1979年第26期第794-818页·Zbl 0421.68025号
[20] Milner，R.，《通信系统的微积分》（计算机科学讲义，92（1980），施普林格：施普林格柏林/海德堡/纽约）·Zbl 0452.68027号
[21] 米尔纳，R.，同步和异步微积分，定理。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[22] Park，D.，《公平并行的语义》，（Björner，D.，抽象软件规范。抽象软件规范，计算机科学讲义，86（1980），Springer:Springer Berlin/Heidelberg/New York），504-526·Zbl 0456.68028号
[23] 帕罗，J。；Gustavsson，R.，用无限实验和时间逻辑对C.C.S.扩展中的分布式系统进行建模，（IFIP第四届协议规范、测试和验证国际研讨会（1984））
[24] Plotkin，G.，《操作语义的结构方法》（报告人DAIMI-FN 19（1981），奥胡斯大学计算机科学系）·Zbl 1082.68062号
[25] Stoy，J.E.，《指称语义学》（1977年），麻省理工学院出版社：麻省剑桥·Zbl 0468.68013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。